XEtaSambaPackage(C, F, AB, Y)

qetapowersamba.spad line 751 [edit on github]

• C: EuclideanDomain

• F: XEtaGradedAlgebra C

• AB: XEtaAlgebraBasisCategory(C, F)

• Y: QEtaComputationCategory(F, AB)

XEtaSambaPackage implements the algorithm Samba from an article of Ralf Hemmecke: “Dancing Samba with Ramanujan Partition Congruences” (Journal of Symbolic Computation). doi:10.1016/j.jsc.2017.02.001 http://www.risc.jku.at/publications/download/risc_5338/DancingSambaRamanujan.pdf

samba: (List F, Y -> Y) -> AB

samba(m) returns a list t and a list z such that C[m] and the C[t]-module generated by 1 and z are equal as sets.

samba: List F -> AB

samba(m) returns a list t and a list z such that C[m] and the C[t]-module generated by 1 and z are equal as sets.

sambaComputation: (List F, Y -> Y) -> Y

sambaComputation: List F -> Y