C++ (Cpp) PolyWord::freelyReduceの例

コード例 #1

ファイル: MalcevSet.C プロジェクト: koudonojinchuu/magnus

PolyWord MalcevSet::makeCommutator( PolyWord& pw1, PolyWord& pw2 ) {

  // commute words

  PolyWord comm = commutatorOfInverses(pw1, pw2);
  comm.freelyReduce();
  return comm;
}

コード例 #2

ファイル: NilpotentGroupRep.C プロジェクト: koudonojinchuu/magnus

void NilpotentGroupRep::mapToClass( PolyWord& pw, int theClass ) const {

  if( theClass >= nilpotencyClass() ) return;

  PolyWordIterator iter(pw);
  
  for( iter.startFromLeft(); ! iter.done(); ) {
    if( commutators().weightOf( ord( iter.thisLetter().gen ) ) > theClass )
      iter.removeThisLetter();
    else
      iter.stepRight();
  }

  pw.freelyReduce();
}