public class CoeffGcdProjection extends java.lang.Object implements ProjectionToTerm
Modifier and Type | Field and Description |
---|---|
private ProjectionToTerm |
monomialLeft |
private ProjectionToTerm |
polynomialRight |
Modifier | Constructor and Description |
---|---|
private |
CoeffGcdProjection(ProjectionToTerm monomialLeft,
ProjectionToTerm polynomialRight) |
Modifier and Type | Method and Description |
---|---|
static ProjectionToTerm |
create(ProjectionToTerm monomialLeft,
ProjectionToTerm polynomialRight) |
Term |
toTerm(RuleApp app,
PosInOccurrence pos,
Goal goal) |
private final ProjectionToTerm monomialLeft
private final ProjectionToTerm polynomialRight
private CoeffGcdProjection(ProjectionToTerm monomialLeft, ProjectionToTerm polynomialRight)
public static ProjectionToTerm create(ProjectionToTerm monomialLeft, ProjectionToTerm polynomialRight)
public Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
toTerm
in interface ProjectionToTerm