
////////////////////////////////////////////
// To test:

load 'witt2_fun.m';

p:=151;
v:=WittSum2Pol(p);

/*
p=23 gives:
Total time: 0.590 seconds, Total memory usage: 11.69MB

p=31 gives:
Total time: 1.389 seconds, Total memory usage: 18.38MB

p=41 gives:
Total time: 4.259 seconds, Total memory usage: 36.91MB

p=53 gives:
Total time: 14.160 seconds, Total memory usage: 81.75MB

p=61 gives:
Total time: 27.899 seconds, Total memory usage: 137.12MB

p=71 gives:
Total time: 59.810 seconds, Total memory usage: 240.28MB

p=101 gives:
Total time: 362.689 seconds, Total memory usage: 964.91MB

p=151 gives:
Total time: 3010.380 seconds, Total memory usage: 4810.53MB

*/



////////////////////////////////////////////
// To test:

load 'witt2_fun.m';

p:=53;
v:=WittSum2Pol2(p);

/*
p=23 gives:
Total time: 5.589 seconds, Total memory usage: 26.06MB

p=31 gives:
Total time: 56.100 seconds, Total memory usage: 68.72MB

p=41 gives:
Total time: 638.029 seconds, Total memory usage: 210.56MB

p=53 gives:
Total time: 8560.129 seconds, Total memory usage: 545.75MB

*/



////////////////////////////////////////////
// To test:

load 'witt2_fun.m';

p:=23;
v:=WittSum2Pol3(p);

/*
p=23 gives:


p=31 gives:


p=41 gives:


*/


