diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-10-14 08:53:35 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-10-14 08:53:35 +0000 |
| commit | 095703f8cc7439cddda478b12667c5ac8264b6d5 (patch) | |
| tree | cc7a8dc987cd91ec29082900cac30c28e339b20b /src/input | |
| parent | 80f5cef01abdaee3b8c818ea07f534570e94c6d4 (diff) | |
| download | open-axiom-095703f8cc7439cddda478b12667c5ac8264b6d5.tar.gz | |
more work toward removing depsys
Diffstat (limited to 'src/input')
| -rw-r--r-- | src/input/ChangeLog | 4 | ||||
| -rw-r--r-- | src/input/lexp.input.pamphlet | 26 |
2 files changed, 17 insertions, 13 deletions
diff --git a/src/input/ChangeLog b/src/input/ChangeLog index 20632c1e..d35a63d9 100644 --- a/src/input/ChangeLog +++ b/src/input/ChangeLog @@ -1,3 +1,7 @@ +2007-10-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * lexp.input.pamphlet: Fix indentation thinko. + 2007-10-10 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (TESTSYS): Tidy. diff --git a/src/input/lexp.input.pamphlet b/src/input/lexp.input.pamphlet index f8af5761..4f70d158 100644 --- a/src/input/lexp.input.pamphlet +++ b/src/input/lexp.input.pamphlet @@ -12,19 +12,19 @@ <<*>>= )cl all - a: Symbol := 'a - b: Symbol := 'b - coef := Fraction(Integer) - group := LieExponentials(Symbol, coef, 3) - lpoly := LiePolynomial(Symbol, coef) - poly := XPBWPolynomial(Symbol, coef) - ea := exp(a::lpoly)$group - eb := exp(b::lpoly)$group - g: group := ea*eb - g :: poly - log(g)$group - g1: group := inv(g) - g*g1 +a: Symbol := 'a +b: Symbol := 'b +coef := Fraction(Integer) +group := LieExponentials(Symbol, coef, 3) +lpoly := LiePolynomial(Symbol, coef) +poly := XPBWPolynomial(Symbol, coef) +ea := exp(a::lpoly)$group +eb := exp(b::lpoly)$group +g: group := ea*eb +g :: poly +log(g)$group +g1: group := inv(g) +g*g1 @ \eject \begin{thebibliography}{99} |