public class MonomialColumnOp extends AbstractDividePolynomialsProjection
Modifier and Type | Method and Description |
---|---|
static ProjectionToTerm |
create(ProjectionToTerm leftCoefficient,
ProjectionToTerm polynomial) |
protected Term |
divide(Monomial numerator,
java.math.BigInteger denominator,
Services services) |
toTerm
public static ProjectionToTerm create(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
protected Term divide(Monomial numerator, java.math.BigInteger denominator, Services services)
divide
in class AbstractDividePolynomialsProjection
Copyright © 2003-2019 The KeY-Project.