synchronize Weierstrass-model.*
the distribution of contents between
-
Weierstrass-model*.tex
(Weierstrass model of an ellptic curve), not used anywhere -
Weierstrass-model.omf.mtt
(general Weierstras models, no reference to elliptic curve) -
discriminant-Weierstrass-model*.tex
... needs to be rethought