Class Hierarchy

• jas.EF: Extension field builder.
• jas.Ideal: Represents a JAS polynomial ideal: PolynomialList and Ideal.
• jas.Module: Represents a JAS module over a polynomial ring.
• jas.MultiSeriesRing: Represents a JAS power series ring: MultiVarPowerSeriesRing.
• jas.PSIdeal: Represents a JAS power series ideal.
• jas.ParamIdeal: Represents a JAS polynomial ideal with polynomial coefficients.
• jas.Ring: Represents a JAS polynomial ring: GenPolynomialRing.
• jas.RingElem: Proxy for JAS ring elements.
• sdjas.SD_Ideal: This class represents a SymbolicData database object.
• sdjas.SPARQL: This is a 'wrapper' class for SPARQL queries.
• jas.SeriesRing: Represents a JAS power series ring: UnivPowerSeriesRing.
• jas.SolvableIdeal: Represents a JAS solvable polynomial ideal.
• jas.SolvableSubModule: Represents a JAS sub-module over a solvable polynomial ring.
• jas.SubModule: Represents a JAS sub-module over a polynomial ring.
• sdjas.SymbolicData: Access to the database of ideals as provided by the SymbolicData Project (http://symbolicdata.org).
• edu.jas.poly.TermOrderByName
• jas.WordPolyIdeal: Represents a JAS word polynomial ideal.
• basic_sigbased_gb.sigbased_gb
  • basic_sigbased_gb.coeff_free_sigbased_gb
    • basic_sigbased_gb.arris_algorithm
      • basic_sigbased_gb.min_size_mons
    • basic_sigbased_gb.f5
      • basic_sigbased_gb.f5z
  • basic_sigbased_gb.ggv
    • basic_sigbased_gb.ggv_first_implementation