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/ffnb.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/ffnb.spad.pamphlet')
| -rw-r--r-- | src/algebra/ffnb.spad.pamphlet | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/algebra/ffnb.spad.pamphlet b/src/algebra/ffnb.spad.pamphlet index fdf96d46..25c1e782 100644 --- a/src/algebra/ffnb.spad.pamphlet +++ b/src/algebra/ffnb.spad.pamphlet @@ -555,7 +555,7 @@ FiniteFieldNormalBasisExtensionByPolynomial(GF,uni): Exports == _ generator() == normalElement(extdeg)$INBFF basis(n:PI) == (extdeg rem n) ~= 0 => error "argument must divide extension degree" - [Frobenius(trace(normalElement,n),i) for i in 0..(n-1)]::(Vector $) + [Frobenius(trace(normalElement(),n),i) for i in 0..(n-1)]::(Vector $) a:GF * x:$ == a *$Rep x @@ -843,6 +843,8 @@ FiniteFieldNormalBasis(p,extdeg):_ <<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 |