AbstractHomomorphism< K > | AbstractHomomorphism class: maps between polynomial algebras |
AffineAlgebra< K > | AffineAlgebra class |
AffineHomomorphism< K > | AffineHomomorphism: an AbstractHomomorphism with source and target |
Alphabet | Generates names for variables. Pure virtual |
AugmentedAlgebra< K > | AugmentedAlgebra class: an affine algebra with a scalar associated with each variable |
AutoAlphabet | Automatically generates names |
Chern_Maker | Chern_Maker class: computes Chern classes |
DerivationAnalyzer | Class (mostly) for computing the kernel of a derivation |
Exponentiator< K > | Exponentiator class -- computes Chern/Stiefel-Whitney classes |
GradedAlgebra< K > | GradedAlgebra class: an affine algebra with a grading |
HomFinder | HomFinder class: looks for all reasonable homomorphisms between two graded algebras |
Ideal< K > | Ideal class |
Matrix< T > | The Matrix class: Table with arithmetic |
MilnorAnalyzer | Class to compute the kernel of all Milnor derivations |
multiIdeal< K > | MultiIdeal class |
multiPolynomial< K > | Elements of a free module over a polynomial ring |
Polynomial< K > | Polynomial class |
PowProd | Powprod class: represents power products, that is things of the form X^aY^bZ^c.. |
RealRepresentationRing | RealRepresentationRing class |
RepresentationRing | RepresentationRing class |
SimpleAlphabet | Lets the user name the variables |
SW_Maker | SW_Maker class: computes Stiefel-Whitney classes |
Table< T > | Table class : 2-dimensional arrays |
Tuple< T > | Tuple class: n-tuples |
UnstableAlgebra | Unstable Algebra over F_2 |