gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Polynomials are now much easier to read #25

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

For instance, the polynomial * (+ X Y) (+ X Y) (+ Z Z) (+ 2 (- 3)) is printed as ("2" - "3")*("X" + "Y")^2*(2*"Z"). Notice that this reveals a subtle difference between 2 occurrences of a term and a term multiplied by the constant which has the name "2"