diff options
Diffstat (limited to 'src/input/lexp.input.pamphlet')
| -rw-r--r-- | src/input/lexp.input.pamphlet | 26 |
1 files changed, 13 insertions, 13 deletions
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} |