diff options
Diffstat (limited to 'src/algebra/pf.spad.pamphlet')
| -rw-r--r-- | src/algebra/pf.spad.pamphlet | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/algebra/pf.spad.pamphlet b/src/algebra/pf.spad.pamphlet index 338b56c2..4eaf3fbf 100644 --- a/src/algebra/pf.spad.pamphlet +++ b/src/algebra/pf.spad.pamphlet @@ -169,7 +169,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where inGroundField?(x) == true - coordinates(x) == new(1,x)$(Vector $) + coordinates(x: %) == new(1,x)$(Vector $) represents(v) == v.1 @@ -189,7 +189,7 @@ InnerPrimeField(p:PositiveInteger): Exports == Implementation where minimalPolynomial(x) == monomial(1,1)$(SUP $) - monomial(x,0)$(SUP $) - charthRoot x == x + charthRoot(x: %): % == x @ \section{domain PF PrimeField} |