Hi all, One small thing that always irked me about Axiom's tex output is that greek letters when used as variables don't get translated properly. Maxima gets this right, and it makes the TeXmacs interface a lot more usable. This prompted me to write the attached patch against tex.spad to fix this. I'd be happy to see this in the official version.
Andreas
--- /usr/share/axiom-20050901/src/algebra/tex.spad 2006-11-01 16:32:22.000000000 -0500
+++ mytex.spad 2006-11-24 12:52:45.000000000 -0500
@@ -158,11 +158,27 @@
specialStrings : L S :=
["cos", "cot", "csc", "log", "sec", "sin", "tan",
"cosh", "coth", "csch", "sech", "sinh", "tanh",
- "acos","asin","atan","erf","...","$","infinity"]
+ "acos","asin","atan","erf","...","$","infinity",
+ "alpha", "beta", "gamma", "delta", "epsilon",
+ "zeta", "eta", "theta", "iota", "kappa", "lambda",
+ "mu", "nu", "xi", "omikron", "pi", "rho", "sigma",
+ "tau", "upsilon", "phi", "chi", "psi", "omega"
+ "Alpha", "Beta", "Gamma", "Delta", "Epsilon",
+ "Zeta", "Eta", "Theta", "Iota", "Kappa", "Lambda",
+ "Mu", "Nu", "Xi", "Omikron", "Pi", "Rho", "Sigma",
+ "Tau", "Upsilon", "Phi", "Chi", "Psi", "Omega"]
specialStringsInTeX : L S :=
["\cos","\cot","\csc","\log","\sec","\sin","\tan",
"\cosh","\coth","\csch","\sech","\sinh","\tanh",
- "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty"]
+ "\arccos","\arcsin","\arctan","\erf","\ldots","\$","\infty",
+ "\alpha", "\beta", "\gamma", "\delta", "\epsilon",
+ "\zeta", "\eta", "\theta", "\iota", "\kappa", "\lambda",
+ "\mu", "\nu", "\xi", "\omikron", "\pi", "\rho", "\sigma",
+ "\tau", "\upsilon", "\phi", "\chi", "\psi", "\omega"
+ "\Alpha", "\Beta", "\Gamma", "\Delta", "\Epsilon",
+ "\Zeta", "\Eta", "\Theta", "\Iota", "\Kappa", "\Lambda",
+ "\Mu", "\Nu", "\Xi", "\Omikron", "\Pi", "\Rho", "\Sigma",
+ "\Tau", "\Upsilon", "\Phi", "\Chi", "\Psi", "\Omega"]
-- local function signatures
pgpcaZUVkp6kd.pgp
Description: PGP signature
_______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
