public abstract class AbstractDividePolynomialsProjection extends Object implements ProjectionToTerm
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
leftCoefficient |
private ProjectionToTerm |
polynomial |
Modifier | Constructor and Description |
---|---|
protected |
AbstractDividePolynomialsProjection(ProjectionToTerm leftCoefficient,
ProjectionToTerm polynomial) |
Modifier and Type | Method and Description |
---|---|
protected abstract Term |
divide(Monomial numerator,
BigInteger denominator,
Services services) |
private Term |
quotient(BigInteger monoCoeff,
Term rightPoly,
Services services) |
Term |
toTerm(RuleApp app,
PosInOccurrence pos,
Goal goal) |
private final ProjectionToTerm leftCoefficient
private final ProjectionToTerm polynomial
protected AbstractDividePolynomialsProjection(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
public Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
toTerm
in interface ProjectionToTerm
protected abstract Term divide(Monomial numerator, BigInteger denominator, Services services)
private Term quotient(BigInteger monoCoeff, Term rightPoly, Services services)