Context Navigation

Changeset d3d00b in git for Tst/Manual

Timestamp:

Dec 13, 2019, 6:59:09 PM (4 years ago)

Author:

Karim Abou Zeid <karim23697@…>

Branches:

(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')

Children:

c965dfcfaad2306423cb7b5a94889f0f952cb8b9

Parents:

11a5768d1e77fa984bc93adb405b04926539555c

Message:

More tests

Location:

Tst/Manual

Files:

-                      r11a576
+                      rd3d00b
 LIB "tst.lib"; tst_init();
 LIB "freegb.lib";
 ring r = 0,(x,y,z),dp;
+def R = freeAlgebra(r,5); // constructs a Letterplace ring
+setring R; // sets basering to Letterplace ring
+ring R = freeAlgebra(r, 5);
 var(1);
 var(5);
 …
 y*y*x*x;
 z*y*x*z*z;
 tst_status(1);$

-                      r11a576
+                      rd3d00b
+begin 640 letterplace_reduce.res.gz
+M'XL("*KE3EP"`VQE='1E<G!L86-E7W)E9'5C92YR97,`M5--;]LP#+W[5SP$
+M.]B>E\1M]]$9];"AEQ3##NGN]1>3"G!E15906[]^E&,WR8``NPP"1-%\[Y&4
+MJ<??]ZM?`.(4/U<_,#.MF=>BF"7@TY.0POA!XCF+-$5-QI!6=5[2DZ9J7])<
+MTNN\-;GQ'D>EJT%IMM%$V^*@]1:[3J&%W$+C#LO([Z(^LD%TKXZ(FQ05;;!F
+M@%/X7N=;*G3NZRA>!@E:,H/`.O$8_`V9D"8#=8I*0Q5>GT5-*/:BKAPJ.Y/(
+M#A32NM%HRG*ON04("78+VC2:<*BB%I)P\Q79OU4RZJXA6L@&,G\A-!OD0ZN+
+MG=O_6^;IVCZF$!7E-59,ZL,N[/$!-NQ#&X&=L!M</D6#L>QR+.Q<E!?>L\N+
+MK>7/EJUCV>-_^30E>.`$K:G\57`,?DZAFKJ'FI*S1C^FL*/JF=J7D;!CPE"/
+M"T\UG4-O>62&2?-5J*('[G^QX&N6EG3C+2=8O#R%L=(99Z+]Q8G?.+MP=P%S
+C=8)1%S#7IQC.K2ZJ\72[9^7>R[[UXR!YY_T!W]?_ZX$#````
+begin 644 letterplace_reduce.res.gz
+M'XL(".'0\UT"`VQE='1E<G!L86-E7W)E9'5C92YR97,`55'+;H,P$+SS%:NH
+M!W`<!$G3AU`MM>J%J.HAZ3V"X"(DBQ#C*-A?W[7C0",?9A^S,ZOU[N<S_P:`
+ME,%7_@$SU:M8-.4L`XSV3=NH,,H"B\`8"*X4EYTH#GPO>74^\+CEE[A7A0IV
+M7FGIE7XEYW5Y%1N;*P9C_!B#;-H:)+Q!0L.!:FHB6G43>\VNC"TRK-R[J'DI
+MBU!26$<3[8E!4_%"0(X\30:B80&&:&(H8$(&EV)$'1A,L4<&V\4'<TSQ(1HL
+M&T0[92:#YYO!!@W4Y=BK*LS_+?#"H#L*#=W-'V6T=S%>^$[PU0^<<,"M9-NW
+MM>ZH:8(W<)<..[I!3T>U`PN/<U<9^>G(/SE^,G:6T^W35>S^UW[<N0_3*'L(
+*_@"QU8$#"@(`````
+`
 end

-                      r11a576
+                      rd3d00b
 >> tst_memory_0 :: 1548674474:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:297552
 >> tst_memory_1 :: 1548674474:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2150160
 >> tst_memory_2 :: 1548674474:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2191264
 >> tst_timer_1 :: 1548674474:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:5
+>> tst_memory_0 :: 1576259809:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:254208
+>> tst_memory_1 :: 1576259809:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:2151440
+>> tst_memory_2 :: 1576259809:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:2265744
+>> tst_timer_1 :: 1576259809:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:8

-                      r11a576
+                      rd3d00b
 LIB "tst.lib"; tst_init();
+LIB"freegb.lib";
+ring r = 0,(x,y,z),Dp;
+def R = freeAlagebra(r,10); setring R;
+LIB "freegb.lib";
+ring r = 0,(x,y,z),dp;
+ring R = freeAlgebra(r, 5);
 ideal I = y*x*y - z*y*z, x*y*x - z*x*y, z*x*z - y*z*x, x*x*x + y*y*y + z*z*z + x*y*z;
 ideal J = std(I);
+ideal J = twostd(I);
 poly p = y*x*y*z*y - y*z*z*y + z*y*z;
 poly q = z*x*z*y*z - y*z*x*y*z;
+reduce(p*p,J); // nonzero
+reduce(p*p - reduce(p*p,J),J); // zero
+reduce(q*q,J); // zero
+reduce(q*p,J); // zero
+reduce(q*p - p*q,J); // zero
+reduce(p,J);
+reduce(q,J);
 tst_status(1);$

-                      r11a576
+                      rd3d00b
+begin 640 lpMonomialBasis.res.gz
+M'XL("$WI3EP"`VQP36]N;VUI86Q"87-I<RYR97,`G9-?:X,P%,7?_127L8=8
+M;#':OT@#*X51V?;0]JV,DLZT!%(5=4R__6*BC:M]VHO>W'-S?B>![/;KS0<`
+M8`)OFQ4\%7DQ$OST%("LCCSF!;(#J_X#(2#2]R1.KIR*%<UY/HK9SR@O:&'M
+M&ANOL3FG-.)7[703?0(9CR^0P1)<!Y5.93OKU.AC`A$[PU;*YXRQ%W%AIXRB
+MS)G9`>2L4)NW9GY"@$>,"@CECG)0#4H8@OP.*C,S)9"D!4]BE+%HMY)&9KFG
+M7-AF=$:4D6!%*N@7>U5'1&%G8BXG`BL\X,^EP@T53#8\W5!+W:QK*?BM<"<I
+M<6S$GBP'6NJB=^_(<["CCHY<6^8[ZD2E+&222A6:+(MQW:E:-^P^<G-[;EA[
+M-4Z-CT9,6L2T1<S^(G`?X<O`82=I)VN;5E]9RU&^FJ3*:7-7-UJ'YSWBN8;W
+MG[,<#W,3=&&"8M<DQ=A$Q9[)BGT3%H_OT\I74#^M^ME\YPC;P;/U"VX#[&&%
+#`P``
+begin 644 lpMonomialBasis.res.gz
+M'XL(")30\UT"`VQP36]N;VUI86Q"87-I<RYR97,`G9-/BX,P$,7O?HIAV4,L
+M5HS:?T@#6WJI[.YAVUM9BD5;`E9%LU2__<9$3;;VM!>=S!O>[V4@^\-V]PD`
+MF,#[;@,OK&)V2L\O`?#J1#/*D!D8[1\(@;3XR+/\1J-T$U6TLK/D;E<L8L:^
+MLW$[FTL1Q?0FG0;1(S#4O@TES:Y0PAH<"]568UK;0LW.B-2_N'XID^0MO2;G
+M,D*E!0M3C<T)T#B)4@CY7#UI)C5,@7\GC9I9$,@+1O,,E4F\WYB!=CQ$--7L
+MED08L7M>L1B%FK+B2F"$1_R]%IBI@/"&*QOB*)MMS06O%QXD(?I*',E\H*-B
+M9[1RY%J`+7EIY)@\X4EFJGG!LS2BD&Q>^&VG&?SP4S]G[(>E6^?5.4G(K(?,
+M>\CB+\0=0SP1.M32:GG[Q')Q/4DX2Y8HY]W&!IY&])X2'8WXG_N<CDL5=:6B
+J8D=EQ5B%Q:Y*BST5%_N/>7WU$/#,%B^M?44_%<)F\&K\`@U[<=:4`P``
+`
 end

-                      r11a576
+                      rd3d00b
 >> tst_memory_0 :: 1548675405:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:301488
 >> tst_memory_1 :: 1548675405:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2150160
 >> tst_memory_2 :: 1548675405:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2191264
 >> tst_timer_1 :: 1548675405:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:5
+>> tst_memory_0 :: 1576259732:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:245776
+>> tst_memory_1 :: 1576259732:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:2151440
+>> tst_memory_2 :: 1576259732:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:2265744
+>> tst_timer_1 :: 1576259732:4122, 64 bit:4.1.2:x86_64-Darwin:134-016.eduroam.rwth-aachen.de:8

-                      r11a576
+                      rd3d00b
 LIB "tst.lib"; tst_init();
 LIB "fpadim.lib";
 ring r = 0,(x,y),Dp;
 def R = freeAlgebra(r,7); setring R;
+ring R = freeAlgebra(r, 7);
 ideal J = x*y*x - y*x*y;
 option(redSB); option(redTail);
 J = letplaceGBasis(J);
+J = twostd(J);
 J;
+lpMonomialBasis(2,1,ideal(0));
+lpMonomialBasis(2,0,ideal(0));
+lpMonomialBasis(3,1,J);
+lpMonomialBasis(3,0,J);
+lpMonomialBasis(2, 1, ideal(0));
+lpMonomialBasis(2, 0, ideal(0));
+lpMonomialBasis(3, 1, J);
+lpMonomialBasis(3, 0, J);
 tst_status(1);$

Note: See TracChangeset for help on using the changeset viewer.