aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/sf.spad.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/sf.spad.pamphlet')
-rw-r--r--src/algebra/sf.spad.pamphlet6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/sf.spad.pamphlet b/src/algebra/sf.spad.pamphlet
index 507957ad..93abae0d 100644
--- a/src/algebra/sf.spad.pamphlet
+++ b/src/algebra/sf.spad.pamphlet
@@ -42,7 +42,7 @@ RadicalCategory(): Category == with
++ sqrt(x) returns the square root of x.
nthRoot: (%, Integer) -> %
++ nthRoot(x,n) returns the nth root of x.
- _*_* : (%, Fraction Integer) -> %
+ ** : (%, Fraction Integer) -> %
++ x ** y is the rational exponentiation of x by the power y.
add
sqrt x == x ** inv(2::Fraction(Integer))
@@ -253,9 +253,9 @@ FloatingPointSystem(): Category == RealNumberSystem() with
-- domain about the difference in speed between the two domains.
DoubleFloat(): Join(FloatingPointSystem, DifferentialRing, OpenMath,
TranscendentalFunctionCategory, ConvertibleTo InputForm) with
- _/ : (%, Integer) -> %
+ / : (%, Integer) -> %
++ x / i computes the division from x by an integer i.
- _*_* : (%,%) -> %
+ ** : (%,%) -> %
++ x ** y returns the yth power of x (equal to \spad{exp(y log x)}).
exp1 : () -> %
++ exp1() returns the natural log base \spad{2.718281828...}.