Todo List

Member AffineAlgebra::fix_alphabets ()

make this a virtual method, and write an operator overload for =.

Member AffineHomomorphism::is_finite () const

check if this requires LEX

Member DerivationAnalyzer::constant_subalgebra (string prefix, long offset)

give a reference to a paper

Member Ideal::grobnerize ()

give a reference to the exact version of the algorithm used.

fix the "up to a scalar" thing. In the meanwhile, it is possible to call minimalize().

---