diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-17 00:21:53 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-17 00:21:53 +0000 |
commit | e5fb9d979a16047d62bbe954ee08577088cdb497 (patch) | |
tree | 3b647c8756c21b10e5a00d8bf589b2bc754a8cce /src/algebra/fnla.spad.pamphlet | |
parent | 36563244081c887f2f68eea73c5088674f7d8f37 (diff) | |
download | open-axiom-e5fb9d979a16047d62bbe954ee08577088cdb497.tar.gz |
* interp/compiler.boot (compAtomWithModemap): Reject niladic
functions used as constants.
* algebra/aggcat.spad.pamphlet (IndexedAggregate): Add parenthesis
for call to niladic function 'void'.
* algebra/algext.spad.pamphlet (SimpleAlgebraicExtension): Likewise.
* algebra/curve.spad.pamphlet (RadicalFunctionField): Likewise.
(AlgebraicFunctionField): Likewise.
* algebra/permgrps.spad.pamphlet (PermutationGroup): Likewise.
* algebra/pfo.spad.pamphlet (FunctionSpaceReduce): Likewise.
* algebra/setorder.spad.pamphlet: Likewise.
* algebra/ffcat.spad.pamphlet (FiniteFieldCategory): Add
parenthesis for call to niladic function 'representationType'.
* algebra/ffnb.spad.pamphlet
(FiniteFieldNormalBasisExtensionByPolynomial): Likewise for
normalElement.
* algebra/float.spad.pamphlet (Float): Likewise for OMencodingXML,
pi, log2, log10, digits.
* algebra/fnla.spad.pamphlet (FreeNilpotentLie): Likewise for
dimension.
* algebra/fraction.spad.pamphlet (Fraction): Likewise for
OMencodingXML.
* algebra/gaussian.spad.pamphlet (Complex): Likewise.
* algebra/integer.spad.pamphlet (Integer): Likewise.
* algebra/list.spad.pamphlet (List): Likewise.
* algebra/sf.spad.pamphlet (DoubleFloat): Likewise.
* algebra/si.spad.pamphlet (SingleInteger): Likewise.
* algebra/string.spad.pamphlet (String): Likewise.
* algebra/symbol.spad.pamphlet (Symbol): Likewise.
* algebra/intrf.spad.pamphlet (TranscendentalIntegration):
Likewise for empty.
* algebra/kl.spad.pamphlet (SortedCache): Likewise for cache, void.
* algebra/newdata.spad.pamphlet (TabulatedComputationPackage):
Likewise for usingTable?.
* algebra/omserver.spad.pamphlet (OpenMathServerPackage): Likewise
for OMencodingUnknown.
* algebra/plot.spad.pamphlet (Plot): Likewise for adaptive?.
* algebra/plot3d.spad.pamphlet (Plot3D): Likewise for adaptive3D?.
Diffstat (limited to 'src/algebra/fnla.spad.pamphlet')
-rw-r--r-- | src/algebra/fnla.spad.pamphlet | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/algebra/fnla.spad.pamphlet b/src/algebra/fnla.spad.pamphlet index 0a99b15d..36541ce6 100644 --- a/src/algebra/fnla.spad.pamphlet +++ b/src/algebra/fnla.spad.pamphlet @@ -223,7 +223,7 @@ FreeNilpotentLie(n:NNI,class:NNI,R: CommutativeRing): Export == Implement where coms:VLI coms := generate(n,class)$HB - dimension == #coms + dimension() == #coms have : (I,I) -> % -- have(left,right) is a lookup function for basic commutators @@ -233,7 +233,7 @@ FreeNilpotentLie(n:NNI,class:NNI,R: CommutativeRing): Export == Implement where wt:I := coms(i).2 + coms(j).2 wt > class => 0 lo:I := 1 - hi:I := dimension + hi:I := dimension() while hi-lo > 1 repeat mid:I := (hi+lo) quo 2 if coms(mid).2 < wt then lo := mid else hi := mid @@ -242,7 +242,7 @@ FreeNilpotentLie(n:NNI,class:NNI,R: CommutativeRing): Export == Implement where monomial(1,hi::OSI)$FM generator(i) == - i > dimension => 0$Rep + i > dimension() => 0$Rep monomial(1,i::OSI)$FM putIn : I -> % @@ -301,6 +301,8 @@ FreeNilpotentLie(n:NNI,class:NNI,R: CommutativeRing): Export == Implement where <<license>>= --Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd. --All rights reserved. +--Copyright (c) 2007-2010, Gabriel Dos Reis. +--All rights reserved. -- --Redistribution and use in source and binary forms, with or without --modification, are permitted provided that the following conditions are |