search

poser3 / Prove-It

Java-based software aimed at facilitating student development of mathematical proofs, with emphasis on geometry
MIT License
0 stars 0 forks source link

Operators need toLatex methods #5

Closed lee-vian closed 10 years ago

lee-vian commented 10 years ago

An Operator's toLatex method specifies how an OperatorExpression using that Operator should be drawn in LaTeX.

lee-vian commented 10 years ago

The static block at the top of Operator.java, where all the operators get defined, is getting kind of big, and will only get bigger as we (1) expand existing operators to take advantage of features like LaTeX rendering and (2) create new operators. Many operators include nontrivial Java code to do things like display expressions in various formats, so we won't be able to offload them into text files like we did for theorems. I'd like to have a one-file-per-operator system, but with Java's one-file-per-class structure, each operator would need its own class (with a name and everything!), and conceptually each operator is just an instance of the Operator class. @poser3, what are your thoughts on this problem?

lee-vian commented 10 years ago

All the operators have toLatex methods as of commit e97d1f082b341ba3e251ed6caa8b624ecafda4cb.