Changeset 1a4a5cc in git for Tst/Manual


Ignore:
Timestamp:
Apr 25, 2019, 1:59:16 PM (5 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'b21a664aa22dc6e196223af8a74ad4885e83547c')
Children:
bc947c9d19f93794876a36a1042ea12d716b29b4
Parents:
bdf2f9d305bfd0384922649042731e2eed7d02b9
Message:
Add more lpLmDivisible tests
Location:
Tst/Manual
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • Tst/Manual/lpLmDivisible.res.gz.uu

    rbdf2f9 r1a4a5cc  
    11begin 644 lpLmDivisible.res.gz
    2 M'XL(""N9P5P"`VQP3&U$:79I<VEB;&4N<F5S`*V436^"0!"&[_Z*B>D!S(:P
    3 M*'Z42-/&BXGIH?9>0$>S"06RK"W\^Z[00M79GGIB-_/PSC-LV.WK:OT,`#R$
    4 MS?H)AJI43BJ280!Z]28RH2P[&)R?$(:0%IOWE?@0I4A2=#+\=$H5J\'V.\1K
    5 M0H8'B7A,VIBN-@ZA6T\<D"([@H0EN,RJ6&VS5=&S?MC67W3]'/:8'C&1L249
    6 M^':/37NA/9869U#9L%P"#P:Z^@!%+!W@($K(#Z#J`B$2F8H88%7@3N%>[_<8
    7 MIQ&+BCRMH_8ME#*7D.]V)RDU(C+0VP0/N41H.Z<B0YC>0V3H'G6&LTO#B@%O
    8 M&-=LV)C\C^+L2O%7^UYQ?J4XJG\&T9*\PQ8$5M]@W*721K=YG%-Y%.B1B?7/
    9 M0??@F&X](MM/Z/8T[-,*'7RA,35HU!0\,SH3`\[-`U+6"_.(!.ZYYB$)<X^;
    10 HQZ1PSSPHA?]QEL27\2;]W>+Y3G-SG>^ED_XK[>!N\`751ZP!Y`0`````
     2M'XL("`>AP5P"`VQP3&U$:79I<VEB;&4N<F5S`'V406N#,!B&[_Z*#]G!B(B)
     3M6BUB8,-+H>RP]CXJRR3@G*C;S+^?VJ)M_=*3@3QY\KY1<SAFNU<`H!SVNQ<P
     4MN[9S2YF;"0RC=UG)SB*),3Z!<RCK_5<F?V4K\U*XE?ASV^[4&8>+A$T2\[,1
     5MHLC/FGG.YS"/`Q<:61700`J>8_6.(DY6+VS(S_-OP_PH>RX+D3<GJW$@)`NV
     6M60)]B-:JOTME><2!RX!`F@)-##HOB#0+^@GUKM'X%NT?6+>(E<[6:Y1ZN)62
     7M50!*[U!;83DI0S"UQGS,9B.^`/-A8(@:U;KS!M_:1K>/\.UQ.,8CS/!-C*TF
     8MAD)@YFDSKPLRJB^(I&9,7Q'#?7U)+'F@KXGAH;XHAC]XE]C)1,L_SV)WNE'&
     92^^*G';[XY,GX!ST%+L-\!```
    1110`
    1211end
  • Tst/Manual/lpLmDivisible.stat

    rbdf2f9 r1a4a5cc  
    1 1 >> tst_memory_0 :: 1556191531:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:228528
    2 1 >> tst_memory_1 :: 1556191531:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:2151440
    3 1 >> tst_memory_2 :: 1556191531:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:2265744
    4 1 >> tst_timer_1 :: 1556191531:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:9
     11 >> tst_memory_0 :: 1556193543:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:227632
     21 >> tst_memory_1 :: 1556193543:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:2151440
     31 >> tst_memory_2 :: 1556193543:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:2265744
     41 >> tst_timer_1 :: 1556193543:4120, 64 bit:4.1.2:x86_64-Darwin:Karims-MBP.localdomain:8
  • Tst/Manual/lpLmDivisible.tst

    rbdf2f9 r1a4a5cc  
    44ring r = 0,(x,y),Dp;
    55ring R = freeAlgebra(r, 5);
    6 lpLmDivides(1, x) == 1;
    7 lpLmDivides(x, 1) == 0;
     6lpLmDivides(poly(0), poly(0)) == 1;
     7lpLmDivides(poly(0), x) == 0;
     8lpLmDivides(x, poly(0)) == 1;
     9lpLmDivides(poly(1), x) == 1;
     10lpLmDivides(x, poly(1)) == 0;
    811lpLmDivides(x*y, x) == 0;
    912lpLmDivides(x*y, y) == 0;
Note: See TracChangeset for help on using the changeset viewer.