Spracherkennung für: .tst vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
gap> START_TEST( "Start highlevel tests" );
gap> coll := Collector(UnitriangularPcpGroup(10, 0));;
gap> dto_rs := DTP_DTObjFromCollector(coll, true);;
gap> dto_r := DTP_DTObjFromCollector(coll, false);;
gap> g := [];; h := [];;
gap> for i in [1 .. NumberOfGenerators(coll)] do
> Add(g, Random([-10000, 10000]));;
> Add(h, Random([-10000, 10000]));;
> od;
# test Exp
gap> z := Random([-10000 .. 10000]);;
gap> DTP_Exp(g, z, dto_rs);
[ 77590000, 77590000, 77590000, -77590000, -77590000, -77590000, -77590000,
77590000, 77590000, -3009716177590000, -3009716022410000, 3009716177590000,
-3009716177590000, -3009716022410000, -3009716177590000, 3009716022410000,
-3009716022410000, -155702652259432277590000, 155702640220567877590000,
-155702646240000077590000, 155702652259432122410000,
155702640220567877590000, -155702652259432122410000,
155702646240000077590000, 13589922437975583366716177590000,
-13589921503880088551283822410000, 13589921970988033290716177590000,
-13589922437975577347283977590000, 13589921348237648672148377590000,
-13589922282333119409851777590000, -562417417653395717484713539432277590000,
562417408590334071425577443999922410000,
-562417399536614023691580000000077590000,
-562417444833240126508506460567722410000,
562417399533500572649805678000077590000,
39398903370814715083618655116142147148222410000,
-39398898683972845391698095541760750283977590000,
-39398901964952386188266395328861585148222410000,
-39398903558136172175801745003688832283977590000,
-2418478619895201935607449661395719714599658567722410000,
-2418478298729864390209303242750917925126019432277590000,
-2418478535076401355224843964758112391547520000077590000,
-277050135134299142661395453533265211819598773048129851622410000,
-277050121632339475933456649285041806850241296607688716177590000,
-10065996184460205856919361421814744694894142573493502890641999922410000 ]
gap> DTP_Exp(g, z, dto_r);
[ 77590000, 77590000, 77590000, -77590000, -77590000, -77590000, -77590000,
77590000, 77590000, -3009716177590000, -3009716022410000, 3009716177590000,
-3009716177590000, -3009716022410000, -3009716177590000, 3009716022410000,
-3009716022410000, -155702652259432277590000, 155702640220567877590000,
-155702646240000077590000, 155702652259432122410000,
155702640220567877590000, -155702652259432122410000,
155702646240000077590000, 13589922437975583366716177590000,
-13589921503880088551283822410000, 13589921970988033290716177590000,
-13589922437975577347283977590000, 13589921348237648672148377590000,
-13589922282333119409851777590000, -562417417653395717484713539432277590000,
562417408590334071425577443999922410000,
-562417399536614023691580000000077590000,
-562417444833240126508506460567722410000,
562417399533500572649805678000077590000,
39398903370814715083618655116142147148222410000,
-39398898683972845391698095541760750283977590000,
-39398901964952386188266395328861585148222410000,
-39398903558136172175801745003688832283977590000,
-2418478619895201935607449661395719714599658567722410000,
-2418478298729864390209303242750917925126019432277590000,
-2418478535076401355224843964758112391547520000077590000,
-277050135134299142661395453533265211819598773048129851622410000,
-277050121632339475933456649285041806850241296607688716177590000,
-10065996184460205856919361421814744694894142573493502890641999922410000 ]
gap> z := Random([-10000 .. 10000]);
-1569
gap> DTP_Exp(h, z, dto_rs);
[ -15690000, 15690000, -15690000, 15690000, 15690000, 15690000, 15690000,
15690000, 15690000, 123166515690000, 123166515690000, 123166515690000,
-123166484310000, -123166484310000, -123166484310000, -123166484310000,
-123166515690000, -1287500480000015690000, 1287500480000015690000,
1287500726333015690000, -1287500479999984310000, -1287500480000015690000,
-1287500480000015690000, -1287500233666984310000,
-22735663350332508166484310000, 22735662060368451833484310000,
22735664637832988166484310000, -22735659485367491833484310000,
-22735659485367738166484310000, -22735660775331548166484310000,
-190171230870071013164536333015690000, 190171215687193102036189999984310000,
190171230844298945265496333015690000, -190171185398744312499273666984310000,
-190171139927424051800479999984310000,
-2692506125336223499429090914646833484310000,
2692506030099073601558937584860500515690000,
2692506410592818547140828577743166515690000,
-2692505142734649697439276150849499484310000,
-33439716064729416692098811780182264290000015690000,
33439715650156661853716706964517336423666984310000,
33439721048485879977718412280159272613666984310000,
-775072778016171717403193735819404546359716298166515690000,
775072709745491261398863274588309433190982015500515690000,
-5691299822584486198116773124485809754555392337001673666984310000 ]
gap> DTP_Exp(h, z, dto_r);
[ -15690000, 15690000, -15690000, 15690000, 15690000, 15690000, 15690000,
15690000, 15690000, 123166515690000, 123166515690000, 123166515690000,
-123166484310000, -123166484310000, -123166484310000, -123166484310000,
-123166515690000, -1287500480000015690000, 1287500480000015690000,
1287500726333015690000, -1287500479999984310000, -1287500480000015690000,
-1287500480000015690000, -1287500233666984310000,
-22735663350332508166484310000, 22735662060368451833484310000,
22735664637832988166484310000, -22735659485367491833484310000,
-22735659485367738166484310000, -22735660775331548166484310000,
-190171230870071013164536333015690000, 190171215687193102036189999984310000,
190171230844298945265496333015690000, -190171185398744312499273666984310000,
-190171139927424051800479999984310000,
-2692506125336223499429090914646833484310000,
2692506030099073601558937584860500515690000,
2692506410592818547140828577743166515690000,
-2692505142734649697439276150849499484310000,
-33439716064729416692098811780182264290000015690000,
33439715650156661853716706964517336423666984310000,
33439721048485879977718412280159272613666984310000,
-775072778016171717403193735819404546359716298166515690000,
775072709745491261398863274588309433190982015500515690000,
-5691299822584486198116773124485809754555392337001673666984310000 ]
# test Inverse
gap> g_inv := DTP_Inverse(g, dto_rs);
[ -10000, -10000, -10000, 10000, 10000, 10000, 10000, -10000, -10000,
-99990000, -100010000, 99990000, -99990000, -100010000, -99990000,
100010000, -100010000, -199990000, -200010000, 10000, 200010000,
-200010000, -200010000, -10000, 9997000099990000, -10000999900010000,
10001000099990000, -9996999899990000, 10003000299990000, -9998999699990000,
-199990000, 20004000000010000, 20000000000010000, -19999999800010000,
-2000000010000, 100049998000300010000, 99990000000100010000,
-100009996000300010000, 100009998000100010000, -1999199999997999800010000,
2000600079999999800010000, 199960000000000010000,
-99999998999099999998999700010000, -99999995000500039999000099990000,
39993999599979997999999990000 ]
gap> g_inv := DTP_Inverse(g, dto_r);
[ -10000, -10000, -10000, 10000, 10000, 10000, 10000, -10000, -10000,
-99990000, -100010000, 99990000, -99990000, -100010000, -99990000,
100010000, -100010000, -199990000, -200010000, 10000, 200010000,
-200010000, -200010000, -10000, 9997000099990000, -10000999900010000,
10001000099990000, -9996999899990000, 10003000299990000, -9998999699990000,
-199990000, 20004000000010000, 20000000000010000, -19999999800010000,
-2000000010000, 100049998000300010000, 99990000000100010000,
-100009996000300010000, 100009998000100010000, -1999199999997999800010000,
2000600079999999800010000, 199960000000000010000,
-99999998999099999998999700010000, -99999995000500039999000099990000,
39993999599979997999999990000 ]
gap> h_inv := DTP_Inverse(h, dto_rs);
[ -10000, 10000, -10000, 10000, 10000, 10000, 10000, 10000, 10000, 100010000,
100010000, 100010000, -99990000, -99990000, -99990000, -99990000,
-100010000, -10000, 10000, 200010000, 10000, -10000, -10000, 200010000,
-10001000099990000, 9998999899990000, 10001000099990000, -9998999899990000,
-9999000099990000, -10001000099990000, -20002000200010000, -2000000010000,
2000200010000, 200010000, 20000000000010000, -100030001999899990000,
99989997999700010000, 100010004000100010000, -100010000000299990000,
-200000002000000010000, -40002000200010000, 2000200019995999799990000,
-100000001000100059999000100010000, 99999998999500020000999700010000,
200019999999800040000000200010000 ]
gap> h_inv := DTP_Inverse(h, dto_r);
[ -10000, 10000, -10000, 10000, 10000, 10000, 10000, 10000, 10000, 100010000,
100010000, 100010000, -99990000, -99990000, -99990000, -99990000,
-100010000, -10000, 10000, 200010000, 10000, -10000, -10000, 200010000,
-10001000099990000, 9998999899990000, 10001000099990000, -9998999899990000,
-9999000099990000, -10001000099990000, -20002000200010000, -2000000010000,
2000200010000, 200010000, 20000000000010000, -100030001999899990000,
99989997999700010000, 100010004000100010000, -100010000000299990000,
-200000002000000010000, -40002000200010000, 2000200019995999799990000,
-100000001000100059999000100010000, 99999998999500020000999700010000,
200019999999800040000000200010000 ]
# test Order
gap> DTP_Order(g, dto_rs);
infinity
gap> DTP_Order(g, dto_r);
infinity
gap> DTP_Order(g_inv, dto_rs);
infinity
gap> DTP_Order(g_inv, dto_r);
infinity
gap> DTP_Order(h, dto_rs);
infinity
gap> DTP_Order(h, dto_r);
infinity
gap> DTP_Order(h_inv, dto_rs);
infinity
gap> DTP_Order(h_inv, dto_r);
infinity
# test SolveEquation
gap> DTP_SolveEquation(g, h, dto_rs);
[ 0, -20000, 0, 0, 0, 0, 0, -20000, -20000, 0, -200020000, -20000, 0, -20000,
0, 0, -200000000, 20000, 1999799980000, 0, 0, 0, -200000000, -200020000,
-20000, -19997999600000000, -200000000, 0, 399980000, 2000200000000, 20000,
199980004000200020000, -200000000, -200020000, -6000000020000, 0,
-1999800000001999800000000, 3999599980000, 200000000, -200000000,
19997999200019999999200020000, -19989999799980000, 6000200000000,
-199979988001800159998000200000000, -80006000400020000 ]
gap> DTP_SolveEquation(g, h, dto_r);
[ 0, -20000, 0, 0, 0, 0, 0, -20000, -20000, 0, -200020000, -20000, 0, -20000,
0, 0, -200000000, 20000, 1999799980000, 0, 0, 0, -200000000, -200020000,
-20000, -19997999600000000, -200000000, 0, 399980000, 2000200000000, 20000,
199980004000200020000, -200000000, -200020000, -6000000020000, 0,
-1999800000001999800000000, 3999599980000, 200000000, -200000000,
19997999200019999999200020000, -19989999799980000, 6000200000000,
-199979988001800159998000200000000, -80006000400020000 ]
gap> DTP_SolveEquation(h, g, dto_rs);
[ 0, 20000, 0, 0, 0, 0, 0, 20000, 20000, 0, 200020000, 20000, 0, 20000, 0, 0,
-200000000, -20000, -2000199980000, 0, 0, 0, 200000000, 200020000, 20000,
19997999600000000, -200000000, 0, -399980000, 1999800000000, -20000,
-200020003999800020000, 200000000, 200020000, -5999999980000, 400000000,
1999799999997999800000000, 8000000020000, 4000200000000, 200000000,
20001999599859991999599980000, 59993999799980000, 5999800000000,
199979991997799920001999400000000, 160010000000020000 ]
gap> DTP_SolveEquation(h, g, dto_r);
[ 0, 20000, 0, 0, 0, 0, 0, 20000, 20000, 0, 200020000, 20000, 0, 20000, 0, 0,
-200000000, -20000, -2000199980000, 0, 0, 0, 200000000, 200020000, 20000,
19997999600000000, -200000000, 0, -399980000, 1999800000000, -20000,
-200020003999800020000, 200000000, 200020000, -5999999980000, 400000000,
1999799999997999800000000, 8000000020000, 4000200000000, 200000000,
20001999599859991999599980000, 59993999799980000, 5999800000000,
199979991997799920001999400000000, 160010000000020000 ]
gap> DTP_SolveEquation(g, g, dto_rs);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> DTP_SolveEquation(g, g, dto_r);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
# test Multiply
gap> DTP_Multiply(g, h, dto_rs);
[ 20000, 0, 20000, -20000, -20000, -20000, -20000, 0, 0, -100020000,
100000000, 100000000, -100020000, -100000000, -100020000, 99980000,
100020000, -2000200000000, -2000000000000, -2000000020000, 2000199980000,
1999800020000, 20000, 200000000, 40004000100000000, 39999999700020000,
40000000300020000, -40003999900020000, 1999900000000, 2000099980000,
-600019996000200000000, -599999996000200000000, -599960003999800020000,
199979994000400000000, 200019998000000000000, 12001200000004000299980000,
11999199960005999899980000, 3999200039996000100000000,
-4001200059998000100020000, -180018000000059999999599980000,
-59987998800080001999400000000, -59999999599999998000200000000,
1199879964000000079990000100020000, 1200039980000600039994000099980000,
-26005800239998001600079995999600000000 ]
gap> DTP_Multiply(g, h, dto_r);
[ 20000, 0, 20000, -20000, -20000, -20000, -20000, 0, 0, -100020000,
100000000, 100000000, -100020000, -100000000, -100020000, 99980000,
100020000, -2000200000000, -2000000000000, -2000000020000, 2000199980000,
1999800020000, 20000, 200000000, 40004000100000000, 39999999700020000,
40000000300020000, -40003999900020000, 1999900000000, 2000099980000,
-600019996000200000000, -599999996000200000000, -599960003999800020000,
199979994000400000000, 200019998000000000000, 12001200000004000299980000,
11999199960005999899980000, 3999200039996000100000000,
-4001200059998000100020000, -180018000000059999999599980000,
-59987998800080001999400000000, -59999999599999998000200000000,
1199879964000000079990000100020000, 1200039980000600039994000099980000,
-26005800239998001600079995999600000000 ]
gap> DTP_Multiply(h, g, dto_rs);
[ 20000, 0, 20000, -20000, -20000, -20000, -20000, 0, 0, 99980000,
-100000000, 100000000, -100020000, -100000000, -100020000, -100020000,
100020000, 2000000000000, 2000200000000, -1999800020000, 1999999980000,
2000000020000, -199980000, 0, -39998000100000000, -40001999699980000,
39998000300020000, -40001999900020000, 300000000, 99980000,
599920001999800000000, 600019997999800000000, -599940006000000020000,
-200040000000000000000, 200040002000000000000, -11999400019998000300020000,
-11999799940004000100020000, -4000599980009999900000000,
-4001000040002000500020000, 179984000999980003999800020000,
-60006000600039991999800000000, -60005999400119996000000000000,
1200060017998200060000000100020000, -1200219989999200080001999700020000,
26003199860014001200020000000200000000 ]
gap> DTP_Multiply(h, g, dto_r);
[ 20000, 0, 20000, -20000, -20000, -20000, -20000, 0, 0, 99980000,
-100000000, 100000000, -100020000, -100000000, -100020000, -100020000,
100020000, 2000000000000, 2000200000000, -1999800020000, 1999999980000,
2000000020000, -199980000, 0, -39998000100000000, -40001999699980000,
39998000300020000, -40001999900020000, 300000000, 99980000,
599920001999800000000, 600019997999800000000, -599940006000000020000,
-200040000000000000000, 200040002000000000000, -11999400019998000300020000,
-11999799940004000100020000, -4000599980009999900000000,
-4001000040002000500020000, 179984000999980003999800020000,
-60006000600039991999800000000, -60005999400119996000000000000,
1200060017998200060000000100020000, -1200219989999200080001999700020000,
26003199860014001200020000000200000000 ]
gap> DTP_Multiply(g_inv, h, dto_rs);
[ 0, -20000, 0, 0, 0, 0, 0, -20000, -20000, 0, -200020000, -20000, 0, -20000,
0, 0, -200000000, 20000, 1999799980000, 0, 0, 0, -200000000, -200020000,
-20000, -19997999600000000, -200000000, 0, 399980000, 2000200000000, 20000,
199980004000200020000, -200000000, -200020000, -6000000020000, 0,
-1999800000001999800000000, 3999599980000, 200000000, -200000000,
19997999200019999999200020000, -19989999799980000, 6000200000000,
-199979988001800159998000200000000, -80006000400020000 ]
gap> DTP_Multiply(g_inv, h, dto_r);
[ 0, -20000, 0, 0, 0, 0, 0, -20000, -20000, 0, -200020000, -20000, 0, -20000,
0, 0, -200000000, 20000, 1999799980000, 0, 0, 0, -200000000, -200020000,
-20000, -19997999600000000, -200000000, 0, 399980000, 2000200000000, 20000,
199980004000200020000, -200000000, -200020000, -6000000020000, 0,
-1999800000001999800000000, 3999599980000, 200000000, -200000000,
19997999200019999999200020000, -19989999799980000, 6000200000000,
-199979988001800159998000200000000, -80006000400020000 ]
gap> DTP_Multiply(h_inv, g, dto_rs);
[ 0, 20000, 0, 0, 0, 0, 0, 20000, 20000, 0, 200020000, 20000, 0, 20000, 0, 0,
-200000000, -20000, -2000199980000, 0, 0, 0, 200000000, 200020000, 20000,
19997999600000000, -200000000, 0, -399980000, 1999800000000, -20000,
-200020003999800020000, 200000000, 200020000, -5999999980000, 400000000,
1999799999997999800000000, 8000000020000, 4000200000000, 200000000,
20001999599859991999599980000, 59993999799980000, 5999800000000,
199979991997799920001999400000000, 160010000000020000 ]
gap> DTP_Multiply(h_inv, g, dto_r);
[ 0, 20000, 0, 0, 0, 0, 0, 20000, 20000, 0, 200020000, 20000, 0, 20000, 0, 0,
-200000000, -20000, -2000199980000, 0, 0, 0, 200000000, 200020000, 20000,
19997999600000000, -200000000, 0, -399980000, 1999800000000, -20000,
-200020003999800020000, 200000000, 200020000, -5999999980000, 400000000,
1999799999997999800000000, 8000000020000, 4000200000000, 200000000,
20001999599859991999599980000, 59993999799980000, 5999800000000,
199979991997799920001999400000000, 160010000000020000 ]
gap> coll := Collector(HeisenbergPcpGroup(20));;
gap> dto_rs := DTP_DTObjFromCollector(coll, true);;
gap> dto_r := DTP_DTObjFromCollector(coll, false);;
gap> g := [];; h := [];;
gap> for i in [1 .. NumberOfGenerators(coll)] do
> Add(g, Random([-10000, 10000]));;
> Add(h, Random([-10000, 10000]));;
> od;
# test Exp
gap> z := Random([-10000 .. 10000]);;
gap> DTP_Exp(g, z, dto_rs);
[ -63530000, 63530000, 63530000, 63530000, -63530000, 63530000, 63530000,
63530000, -63530000, -63530000, 63530000, -63530000, 63530000, 63530000,
-63530000, -63530000, 63530000, -63530000, -63530000, -63530000, -63530000,
-63530000, 63530000, -63530000, 63530000, 63530000, -63530000, 63530000,
63530000, 63530000, -63530000, -63530000, -63530000, -63530000, -63530000,
-63530000, -63530000, 63530000, 63530000, -63530000, -8073392463530000 ]
gap> DTP_Exp(g, z, dto_r);
[ -63530000, 63530000, 63530000, 63530000, -63530000, 63530000, 63530000,
63530000, -63530000, -63530000, 63530000, -63530000, 63530000, 63530000,
-63530000, -63530000, 63530000, -63530000, -63530000, -63530000, -63530000,
-63530000, 63530000, -63530000, 63530000, 63530000, -63530000, 63530000,
63530000, 63530000, -63530000, -63530000, -63530000, -63530000, -63530000,
-63530000, -63530000, 63530000, 63530000, -63530000, -8073392463530000 ]
gap> z := Random([-10000 .. 10000]);
-8508
gap> DTP_Exp(h, z, dto_rs);
[ -85080000, 85080000, 85080000, -85080000, -85080000, -85080000, -85080000,
-85080000, 85080000, 85080000, -85080000, -85080000, -85080000, 85080000,
-85080000, 85080000, -85080000, 85080000, -85080000, -85080000, 85080000,
-85080000, 85080000, -85080000, -85080000, -85080000, 85080000, 85080000,
85080000, 85080000, -85080000, 85080000, -85080000, 85080000, 85080000,
85080000, -85080000, -85080000, -85080000, 85080000, 14478914314920000 ]
gap> DTP_Exp(h, z, dto_r);
[ -85080000, 85080000, 85080000, -85080000, -85080000, -85080000, -85080000,
-85080000, 85080000, 85080000, -85080000, -85080000, -85080000, 85080000,
-85080000, 85080000, -85080000, 85080000, -85080000, -85080000, 85080000,
-85080000, 85080000, -85080000, -85080000, -85080000, 85080000, 85080000,
85080000, 85080000, -85080000, 85080000, -85080000, 85080000, 85080000,
85080000, -85080000, -85080000, -85080000, 85080000, 14478914314920000 ]
# test Inverse
gap> g_inv := DTP_Inverse(g, dto_rs);
[ -10000, 10000, 10000, 10000, -10000, 10000, 10000, 10000, -10000, -10000,
10000, -10000, 10000, 10000, -10000, -10000, 10000, -10000, -10000, -10000,
-10000, -10000, 10000, -10000, 10000, 10000, -10000, 10000, 10000, 10000,
-10000, -10000, -10000, -10000, -10000, -10000, -10000, 10000, 10000,
-10000, -400010000 ]
gap> g_inv := DTP_Inverse(g, dto_r);
[ -10000, 10000, 10000, 10000, -10000, 10000, 10000, 10000, -10000, -10000,
10000, -10000, 10000, 10000, -10000, -10000, 10000, -10000, -10000, -10000,
-10000, -10000, 10000, -10000, 10000, 10000, -10000, 10000, 10000, 10000,
-10000, -10000, -10000, -10000, -10000, -10000, -10000, 10000, 10000,
-10000, -400010000 ]
gap> h_inv := DTP_Inverse(h, dto_rs);
[ -10000, 10000, 10000, -10000, -10000, -10000, -10000, -10000, 10000, 10000,
-10000, -10000, -10000, 10000, -10000, 10000, -10000, 10000, -10000,
-10000, 10000, -10000, 10000, -10000, -10000, -10000, 10000, 10000, 10000,
10000, -10000, 10000, -10000, 10000, 10000, 10000, -10000, -10000, -10000,
10000, 399990000 ]
gap> h_inv := DTP_Inverse(h, dto_r);
[ -10000, 10000, 10000, -10000, -10000, -10000, -10000, -10000, 10000, 10000,
-10000, -10000, -10000, 10000, -10000, 10000, -10000, 10000, -10000,
-10000, 10000, -10000, 10000, -10000, -10000, -10000, 10000, 10000, 10000,
10000, -10000, 10000, -10000, 10000, 10000, 10000, -10000, -10000, -10000,
10000, 399990000 ]
# test Order
gap> DTP_Order(g, dto_rs);
infinity
gap> DTP_Order(g, dto_r);
infinity
gap> DTP_Order(g_inv, dto_rs);
infinity
gap> DTP_Order(g_inv, dto_r);
infinity
gap> DTP_Order(h, dto_rs);
infinity
gap> DTP_Order(h, dto_r);
infinity
gap> DTP_Order(h_inv, dto_rs);
infinity
gap> DTP_Order(h_inv, dto_r);
infinity
# test SolveEquation
gap> DTP_SolveEquation(g, h, dto_rs);
[ 0, 0, 0, 20000, 0, 20000, 20000, 20000, -20000, -20000, 20000, 0, 20000, 0,
0, -20000, 20000, -20000, 0, 0, -20000, 0, 0, 0, 20000, 20000, -20000, 0,
0, 0, 0, -20000, 0, -20000, -20000, -20000, 0, 20000, 20000, -20000,
-1000000000 ]
gap> DTP_SolveEquation(g, h, dto_r);
[ 0, 0, 0, 20000, 0, 20000, 20000, 20000, -20000, -20000, 20000, 0, 20000, 0,
0, -20000, 20000, -20000, 0, 0, -20000, 0, 0, 0, 20000, 20000, -20000, 0,
0, 0, 0, -20000, 0, -20000, -20000, -20000, 0, 20000, 20000, -20000,
-1000000000 ]
gap> DTP_SolveEquation(h, g, dto_rs);
[ 0, 0, 0, -20000, 0, -20000, -20000, -20000, 20000, 20000, -20000, 0,
-20000, 0, 0, 20000, -20000, 20000, 0, 0, 20000, 0, 0, 0, -20000, -20000,
20000, 0, 0, 0, 0, 20000, 0, 20000, 20000, 20000, 0, -20000, -20000, 20000,
1000000000 ]
gap> DTP_SolveEquation(h, g, dto_r);
[ 0, 0, 0, -20000, 0, -20000, -20000, -20000, 20000, 20000, -20000, 0,
-20000, 0, 0, 20000, -20000, 20000, 0, 0, 20000, 0, 0, 0, -20000, -20000,
20000, 0, 0, 0, 0, 20000, 0, 20000, 20000, 20000, 0, -20000, -20000, 20000,
1000000000 ]
gap> DTP_SolveEquation(g, g, dto_rs);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
gap> DTP_SolveEquation(g, g, dto_r);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
# test Multiply
gap> DTP_Multiply(g, h, dto_rs);
[ 20000, -20000, -20000, 0, 20000, 0, 0, 0, 0, 0, 0, 20000, 0, -20000, 20000,
0, 0, 0, 20000, 20000, 0, 20000, -20000, 20000, 0, 0, 0, -20000, -20000,
-20000, 20000, 0, 20000, 0, 0, 0, 20000, 0, 0, 0, 600020000 ]
gap> DTP_Multiply(g, h, dto_r);
[ 20000, -20000, -20000, 0, 20000, 0, 0, 0, 0, 0, 0, 20000, 0, -20000, 20000,
0, 0, 0, 20000, 20000, 0, 20000, -20000, 20000, 0, 0, 0, -20000, -20000,
-20000, 20000, 0, 20000, 0, 0, 0, 20000, 0, 0, 0, 600020000 ]
gap> DTP_Multiply(h, g, dto_rs);
[ 20000, -20000, -20000, 0, 20000, 0, 0, 0, 0, 0, 0, 20000, 0, -20000, 20000,
0, 0, 0, 20000, 20000, 0, 20000, -20000, 20000, 0, 0, 0, -20000, -20000,
-20000, 20000, 0, 20000, 0, 0, 0, 20000, 0, 0, 0, -599980000 ]
gap> DTP_Multiply(h, g, dto_r);
[ 20000, -20000, -20000, 0, 20000, 0, 0, 0, 0, 0, 0, 20000, 0, -20000, 20000,
0, 0, 0, 20000, 20000, 0, 20000, -20000, 20000, 0, 0, 0, -20000, -20000,
-20000, 20000, 0, 20000, 0, 0, 0, 20000, 0, 0, 0, -599980000 ]
gap> DTP_Multiply(g_inv, h, dto_rs);
[ 0, 0, 0, 20000, 0, 20000, 20000, 20000, -20000, -20000, 20000, 0, 20000, 0,
0, -20000, 20000, -20000, 0, 0, -20000, 0, 0, 0, 20000, 20000, -20000, 0,
0, 0, 0, -20000, 0, -20000, -20000, -20000, 0, 20000, 20000, -20000,
-1000000000 ]
gap> DTP_Multiply(g_inv, h, dto_r);
[ 0, 0, 0, 20000, 0, 20000, 20000, 20000, -20000, -20000, 20000, 0, 20000, 0,
0, -20000, 20000, -20000, 0, 0, -20000, 0, 0, 0, 20000, 20000, -20000, 0,
0, 0, 0, -20000, 0, -20000, -20000, -20000, 0, 20000, 20000, -20000,
-1000000000 ]
gap> DTP_Multiply(h_inv, g, dto_rs);
[ 0, 0, 0, -20000, 0, -20000, -20000, -20000, 20000, 20000, -20000, 0,
-20000, 0, 0, 20000, -20000, 20000, 0, 0, 20000, 0, 0, 0, -20000, -20000,
20000, 0, 0, 0, 0, 20000, 0, 20000, 20000, 20000, 0, -20000, -20000, 20000,
1000000000 ]
gap> DTP_Multiply(h_inv, g, dto_r);
[ 0, 0, 0, -20000, 0, -20000, -20000, -20000, 20000, 20000, -20000, 0,
-20000, 0, 0, 20000, -20000, 20000, 0, 0, 20000, 0, 0, 0, -20000, -20000,
20000, 0, 0, 0, 0, 20000, 0, 20000, 20000, 20000, 0, -20000, -20000, 20000,
1000000000 ]
gap> coll := Collector(ExamplesOfSomePcpGroups(15));;
gap> dto_rs := DTP_DTObjFromCollector(coll, true);;
gap> dto_r := DTP_DTObjFromCollector(coll, false);;
gap> g := [];; h := [];;
gap> for i in [1 .. NumberOfGenerators(coll)] do
> Add(g, Random([-10000, 10000]));;
> Add(h, Random([-10000, 10000]));;
> od;
# test Exp
gap> z := Random([-10000 .. 10000]);;
gap> DTP_Exp(g, z, dto_rs);
[ 92050000, -92050000, -4236141092050000, -129971868233070592050000,
-2990815095313503530117407950000, -55057913377599016125787937550342050000,
-110100880156758943073960355176342050000,
550799350497856193059934279513364157950000,
-333190132268295754567543728099433497031805134782950000,
-166595072468216340964820148164896246072817818592050000, 0, 0,
-20125361376646131996063707179733234456352487587472630611925000 ]
gap> DTP_Exp(g, z, dto_r);
[ 92050000, -92050000, -4236141092050000, -129971868233070592050000,
-2990815095313503530117407950000, -55057913377599016125787937550342050000,
-110100880156758943073960355176342050000,
550799350497856193059934279513364157950000,
-333190132268295754567543728099433497031805134782950000,
-166595072468216340964820148164896246072817818592050000, 0, 0,
-20125361376646131996063707179733234456352487587472630611925000 ]
gap> z := Random([-10000 .. 10000]);
-9478
gap> DTP_Exp(h, z, dto_rs);
[ 94780000, 94780000, 4492098005220000, 141927832731352944780000,
3363157272814930963179944780000, 63755369157364718958860578366730220000,
-127527555784091143451623650779180220000,
-637043665417674432070529958834704280220000,
-409136243514281764209377423913490988225176772467720000,
204568129312390751115854491950450885494693897055220000, 0, 0,
25450383745978067610171772784615454624882428543144130767170000 ]
gap> DTP_Exp(h, z, dto_r);
[ 94780000, 94780000, 4492098005220000, 141927832731352944780000,
3363157272814930963179944780000, 63755369157364718958860578366730220000,
-127527555784091143451623650779180220000,
-637043665417674432070529958834704280220000,
-409136243514281764209377423913490988225176772467720000,
204568129312390751115854491950450885494693897055220000, 0, 0,
25450383745978067610171772784615454624882428543144130767170000 ]
# test Inverse
gap> g_inv := DTP_Inverse(g, dto_rs);
[ -10000, 10000, -99990000, 499950010000, -1666666750010000,
4167500458475010000, 16664166999875010000, -41699995416333074990000,
833437656226042019762490000, 416583320835833417150010000, 0, 0,
-8331771183895508161202575015000 ]
gap> g_inv := DTP_Inverse(g, dto_r);
[ -10000, 10000, -99990000, 499950010000, -1666666750010000,
4167500458475010000, 16664166999875010000, -41699995416333074990000,
833437656226042019762490000, 416583320835833417150010000, 0, 0,
-8331771183895508161202575015000 ]
gap> h_inv := DTP_Inverse(h, dto_rs);
[ 10000, 10000, 99990000, 499850010000, 1665666850010000, 4162501458324990000,
-16659167499774990000, -41600023745166874990000,
-832396351936476561312490000, 416416737487504250149990000, 0, 0,
8326564579480991690618125015000 ]
gap> h_inv := DTP_Inverse(h, dto_r);
[ 10000, 10000, 99990000, 499850010000, 1665666850010000, 4162501458324990000,
-16659167499774990000, -41600023745166874990000,
-832396351936476561312490000, 416416737487504250149990000, 0, 0,
8326564579480991690618125015000 ]
# test Order
gap> DTP_Order(g, dto_rs);
infinity
gap> DTP_Order(g, dto_r);
infinity
gap> DTP_Order(g_inv, dto_rs);
infinity
gap> DTP_Order(g_inv, dto_r);
infinity
gap> DTP_Order(h, dto_rs);
infinity
gap> DTP_Order(h, dto_r);
infinity
gap> DTP_Order(h_inv, dto_rs);
infinity
gap> DTP_Order(h_inv, dto_r);
infinity
# test SolveEquation
gap> DTP_SolveEquation(g, h, dto_rs);
[ -20000, 0, -199980000, 1999900000000, -13333333500020000,
66673335166950020000, 266616671499750000000, -2000266608341666150000000,
26674334133120864663924980000, 19994000516659997833500020000, 0, 0,
-399944996222209830264653900025000 ]
gap> DTP_SolveEquation(g, h, dto_r);
[ -20000, 0, -199980000, 1999900000000, -13333333500020000,
66673335166950020000, 266616671499750000000, -2000266608341666150000000,
26674334133120864663924980000, 19994000516659997833500020000, 0, 0,
-399944996222209830264653900025000 ]
gap> DTP_SolveEquation(h, g, dto_rs);
[ 20000, 0, 199980000, 1999700000000, 13329333700020000, 66633339166649980000,
-266596671499950000000, -1998666914988332950000000,
-26648339399045873499824980000, 19992667916530005500099980000, 0, 0,
399815030551635232756485400025000 ]
gap> DTP_SolveEquation(h, g, dto_r);
[ 20000, 0, 199980000, 1999700000000, 13329333700020000, 66633339166649980000,
-266596671499950000000, -1998666914988332950000000,
-26648339399045873499824980000, 19992667916530005500099980000, 0, 0,
399815030551635232756485400025000 ]
gap> DTP_SolveEquation(g, g, dto_rs);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -5000 ]
gap> DTP_SolveEquation(g, g, dto_r);
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, -5000 ]
# test Multiply
gap> DTP_Multiply(g, h, dto_rs);
[ 0, -20000, 100000000, -499950020000, 1666666750000000, -4167500458475000000,
7498000124980000, 41633328754333074980000, 833062710427277980837500000,
-416583437492498916350000000, 0, 0, 4169269913720441278201325000000 ]
gap> DTP_Multiply(g, h, dto_r);
[ 0, -20000, 100000000, -499950020000, 1666666750000000, -4167500458475000000,
7498000124980000, 41633328754333074980000, 833062710427277980837500000,
-416583437492498916350000000, 0, 0, 4169269913720441278201325000000 ]
gap> DTP_Multiply(h, g, dto_rs);
[ 0, -20000, -100000000, -499850020000, -1665666850000000,
-4162501458325000000, -2499499825020000, 41633347085166074980000,
-832604447875220436487500000, -416416720840832749950000000, 0, 0,
-4164063183922582739617275000000 ]
gap> DTP_Multiply(h, g, dto_r);
[ 0, -20000, -100000000, -499850020000, -1665666850000000,
-4162501458325000000, -2499499825020000, 41633347085166074980000,
-832604447875220436487500000, -416416720840832749950000000, 0, 0,
-4164063183922582739617275000000 ]
gap> DTP_Multiply(g_inv, h, dto_rs);
[ -20000, 0, -199980000, 1999900000000, -13333333500020000,
66673335166950020000, 266616671499750000000, -2000266608341666150000000,
26674334133120864663924980000, 19994000516659997833500020000, 0, 0,
-399944996222209830264653900030000 ]
gap> DTP_Multiply(g_inv, h, dto_r);
[ -20000, 0, -199980000, 1999900000000, -13333333500020000,
66673335166950020000, 266616671499750000000, -2000266608341666150000000,
26674334133120864663924980000, 19994000516659997833500020000, 0, 0,
-399944996222209830264653900030000 ]
gap> DTP_Multiply(h_inv, g, dto_rs);
[ 20000, 0, 199980000, 1999700000000, 13329333700020000, 66633339166649980000,
-266596671499950000000, -1998666914988332950000000,
-26648339399045873499824980000, 19992667916530005500099980000, 0, 0,
399815030551635232756485400030000 ]
gap> DTP_Multiply(h_inv, g, dto_r);
[ 20000, 0, 199980000, 1999700000000, 13329333700020000, 66633339166649980000,
-266596671499950000000, -1998666914988332950000000,
-26648339399045873499824980000, 19992667916530005500099980000, 0, 0,
399815030551635232756485400030000 ]
gap> STOP_TEST( "highlevel.tst", 10000 );
