Module dev.civl.sarl
Package dev.civl.sarl.ideal.IF

Interface Polynomial

All Superinterfaces:
Monic, Monomial, NumericExpression, Primitive, PrimitivePower, RationalExpression, SymbolicExpression, SymbolicObject
public interface Polynomial extends Primitive
A polynomial: an expression which is the sum of monomials. Use method Monomial.termMap(IdealFactory) to get the term map for this Polynomial. There must be at least two (non-0) Monomials in the term map. A Polynomial is also a Primitive, so can be used as a factor in a Monic.

  • Method Details

    • constantTerm

      Constant constantTerm(IdealFactory factory)
      The constant term of this polynomial, which may be 0.
      Parameters:
      factory - the ideal factory owning this polynomial
      Returns:
      the constant term of this polynomial

    • polynomialDegree

      IntegerNumber polynomialDegree(NumberFactory factory)
      The "polynomial degree" is the maximum monomial degree of the terms comprising this polynomial. Note that since this Polynomial is a Primitive, its "monomial degree" is 1.
      Parameters:
      factory - the NumberFactory used for this operation
      Returns:
      The IntegerNumber represents the degree of this polynomial, i.e., the maximum degree of its terms

    • hasTermWithNontrivialExpansion

      boolean hasTermWithNontrivialExpansion(IdealFactory factory)
      Does this polynomial contain a term with a nontrivial factorization? This is stronger than asking if the polynomial has a nontrivial factorization. A polynomial with more than one term always has a nontrivial factorization.
      Parameters:
      factory - the ideal factory owning this polynomial
      Returns:
      true if at least one term has a nontrivial expansion
      See Also: