public abstract class DividePolynomialsProjection extends AbstractDividePolynomialsProjection
Modifier and Type | Method and Description |
---|---|
static ProjectionToTerm |
createRoundingDown(ProjectionToTerm leftCoefficient,
ProjectionToTerm polynomial) |
static ProjectionToTerm |
createRoundingUp(ProjectionToTerm leftCoefficient,
ProjectionToTerm polynomial) |
protected java.math.BigInteger |
divide(java.math.BigInteger numerator,
java.math.BigInteger denominator) |
divide, toTerm
public static ProjectionToTerm createRoundingDown(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
public static ProjectionToTerm createRoundingUp(ProjectionToTerm leftCoefficient, ProjectionToTerm polynomial)
protected java.math.BigInteger divide(java.math.BigInteger numerator, java.math.BigInteger denominator)
Copyright © 2003-2019 The KeY-Project.