aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/constant.spad.pamphlet
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-03-05 02:09:51 +0000
committerdos-reis <gdr@axiomatics.org>2010-03-05 02:09:51 +0000
commitf1c8a8db20dce5e74796e409d5bc7bec2d8793d5 (patch)
treee6d6ba7f4fc22135395dfad949ebd50954ad152d /src/algebra/constant.spad.pamphlet
parent82eaa6d96dbadd85f23913a80f163544517af5b0 (diff)
downloadopen-axiom-f1c8a8db20dce5e74796e409d5bc7bec2d8793d5.tar.gz
* interp/sys-globals.boot ($optimizeRep): Define.
* interp/sys-driver.boot (initializeGlobalState): Sey domain representation inlining if requested. * interp/c-util.boot (setCompilerOptimizations): Set domain representation inlining if at optimization level 3. * algebra/constant.spad.pamphlet (AlgebraicNumber): Remove assignment to Rep. Tidy. * algebra/Makefile.pamphlet: Add dependencies.
Diffstat (limited to 'src/algebra/constant.spad.pamphlet')
-rw-r--r--src/algebra/constant.spad.pamphlet10
1 files changed, 4 insertions, 6 deletions
diff --git a/src/algebra/constant.spad.pamphlet b/src/algebra/constant.spad.pamphlet
index be5e9f90..4b8bca4c 100644
--- a/src/algebra/constant.spad.pamphlet
+++ b/src/algebra/constant.spad.pamphlet
@@ -188,12 +188,10 @@ AlgebraicNumber(): Exports == Implementation where
norm : (%,List Kernel %) -> %
++ norm(f,l) computes the norm of the algebraic number f
++ with respect to the extension generated by kernels l
- Implementation ==> InnerAlgebraicNumber add
- Rep:=InnerAlgebraicNumber
- a,b:%
- zero? a == trueEqual(a::Rep,0::Rep)
- one? a == trueEqual(a::Rep,1::Rep)
- a=b == trueEqual((a-b)::Rep,0::Rep)
+ Implementation == InnerAlgebraicNumber add
+ zero? a == trueEqual(rep a, rep 0)
+ one? a == trueEqual(rep a, rep 1)
+ a=b == trueEqual(rep a - rep b,rep 0)
@
\section{License}