Subtraction term
ptal opened this issue · 0 comments
ptal commented
The problem with Addition::new(x, -b)
is that b
needs to be signed. We therefore needs a Subtraction
term. Both can be implemented with a more general structure ArithTerm<Op,InvOp>
where Addition = ArithTerm<Add, Sub>
and Subtraction = ArithTerm<Sub, Add>
.