aboutsummaryrefslogtreecommitdiff
path: root/src/algebra
diff options
context:
space:
mode:
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