aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2013-05-19 03:57:41 +0000
committerdos-reis <gdr@axiomatics.org>2013-05-19 03:57:41 +0000
commite3f96535b3ee598eb1a3aed19a40ec2a6fb59a15 (patch)
tree15faea5eced322ddca6c8c81156e08d95688241c /src/algebra
parentabc68751002b038660aeb94afe138b345970ed34 (diff)
downloadopen-axiom-e3f96535b3ee598eb1a3aed19a40ec2a6fb59a15.tar.gz
* algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New
local function. [SFunction]: Use it.
Diffstat (limited to 'src/algebra')
-rw-r--r--src/algebra/cycles.spad.pamphlet9
1 files changed, 7 insertions, 2 deletions
diff --git a/src/algebra/cycles.spad.pamphlet b/src/algebra/cycles.spad.pamphlet
index 4e313acb..715d49ca 100644
--- a/src/algebra/cycles.spad.pamphlet
+++ b/src/algebra/cycles.spad.pamphlet
@@ -196,9 +196,14 @@ CycleIndicators: Exports == Implementation where
wreath(spol1,spol2) == evspol(mtpol(#1,spol2),spol1)
+ nniBump(x: Integer): NNI ==
+ x < 0 => 0
+ x = 0 => 1
+ x::NNI
+
SFunction li==
a:Matrix SPOL RN :=
- matrix [[complete((k -j+i)::PI) for k in li for j in 1..#li]
+ matrix [[complete nniBump(k -j+i) for k in li for j in 1..#li]
for i in 1..#li]
determinant a
@@ -211,7 +216,7 @@ CycleIndicators: Exports == Implementation where
#li1 < #li2 =>
error "skewSFunction: partition1 does not include partition2"
li2:=roundup (li1,li2)
- a:Matrix SPOL RN:=matrix [[complete((k-li2.i-j+i)::PI)
+ a:Matrix SPOL RN:=matrix [[complete nniBump(k-li2.i-j+i)
for k in li1 for j in 1..#li1] for i in 1..#li1]
determinant a