Changeset 03e1a6 in git for Tst/Manual


Ignore:
Timestamp:
Apr 5, 2021, 2:14:50 PM (3 years ago)
Author:
Karim Abou Zeid <karim23697@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', '38dfc5131670d387a89455159ed1e071997eec94')
Children:
f3febc3307947573795c727b72f40f460cbf4e6e
Parents:
7f6fff5afd5c76a57ccfa8440a2c329db0c215f5d42570248bed7b4a05b15a56a28bc22265ac1299
Message:
Merge branch 'spielwiese' into letterplace-map
Location:
Tst/Manual
Files:
9 added
6 deleted
11 edited

Legend:

Unmodified
Added
Removed
  • Tst/Manual/all.lst

    r7f6fff r03e1a6  
    239239annfsRB.tst
    240240annfspecial.tst
     241annfspecialOld.tst
    241242annil.tst
    242243appelF1.tst
  • Tst/Manual/annfspecial.res.gz.uu

    r7f6fff r03e1a6  
    11begin 644 annfspecial.res.gz
    2 M'XL("(.NRU```V%N;F9S<&5C:6%L+G)E<P!]DUV/FD`4AN_]%2>;7B`?ZGR(
    3 M&@/)$F)BLMN+TKM&-Z[.VDEP,#";PK_OF0&D-K97XGO><\[[#$SV/=U^!0`2
    4 MP\LV@2==Z4DNWY_6@$]O4DGMC-<C\PMQ#`>E/JJK.,I#/E'BUZ32!SW*NA&T
    5 M&W&Z%*=VQJW$8BBE.D,)$<Q\I_:;L7^Z#G4>P[7(&]A@O69!0X?2/(:3^`!(
    6 ML&37.YOQ&J`2VDY,!F<8PT6JK=+?BD([2?:#[/P9A@_(S;*(83J%K/!!_Q3&
    7 M+2^''*32XBQ**+$/9`5_-"PGMTWEL&G597K&3)D-E;R:6+V!S.);V_.@DG]2
    8 M$GIWMLY+ZF_\@/ALRA$6(Y^%$J4\VHBC-R2+N%N[:>V%;N.F3;!"D>XBYM9[
    9 MBO\]:N0:1;:+R!*MQK6GP=+J^,"8Z6_0P7?1G+N-[=LSCX2MA7EA:%?8\5V_
    10 MT;"I3\T>IPZH>4.8NC_8]T\-E99Y_H"#MAS,;O`(_0_(:N#@'8=WQT$7`T='
    11 MRH(!PR.<]P/N0?AC$&(X#(BHC^*J9:'P:QFBI]UF^A=%$+9Y38XV6+?4NN>6
    12 MKCU.@X!2^`AX818@"+-6%)9VCH5NF?OT>$7,9367\;-R,/27T6];@+SDUP,`
    13 !````
     2M'XL("/6X8V`"`V%N;F9S<&5C:6%L+G)E<P"-E&]OVC`0QM_[4YRJO0B)`[7#
     3MGT+42$4(J=*V-^S=-*J4&+"6.E'L:<FWW]D$ETY40@AQ]CUW\?/SD<V/U?-W
     4M`&`9?'U>PIW19EC*U[L4,'J12II@D!+["UD&N5)[78N=S,NA$G^'VN2&;/H6
     5MO&]1O%7%J8=/)1DT4AV@@4>XIT%+NP$MZO?\.(.Z*CM88[Y-XHZG`#XYR>!5
     6M-$H;(=7R6[`>I#`:@3D*:*K*:*CVL#SGXTUN*M=K`?%L-*40,_Q.1E,@/]FO
     7M!<%^+Q@\QNP4<@PQ>UHDN,`B@KM.R2A^_#FFF7UN&(:PEXTV(-K\K2[%`@Y"
     8MB4;NW'&\>C:$0NSA"1U=4`O6U#X.+7CA0P9:&(?G*84:`Q/8BKRLCSD*?\NR
     9MM)FSJ$D)#]MPU49)V(6K+II0DH3MEMN8VZV6DCDJ;'++X[';VO*(N;*.$CX+
     10M.R??)M'#*9M$C,WZBFAF<_Y\<V];BUVEBG??&.U$;62E\M*9!RW53H#$2RDD
     11MSH9=X'7$#*0&]"4.H@%^[LSN/T/$!GXT&/N`YS8^J][G):9X2HEU3$G/Q2H2
     12M1P0M6T!7,#HRB9.X.HOQ5.//QST><Y3-!9U;X=C9O,#CYXTEG^*Q`^1EXQL!
     13M_8>#7;'+^Q&P8^&LSWOK5\8IGG[D@/]2^\:P;X0_.L`;_$+^`<RLF(1<!```
    1414`
    1515end
  • Tst/Manual/annfspecial.stat

    r7f6fff r03e1a6  
    1 1 >> tst_memory_0 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:420240
    2 1 >> tst_memory_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2322432
    3 1 >> tst_memory_2 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:2371584
    4 1 >> tst_timer_1 :: 1355525762:3150:3-1-5:x86_64-Linux:snork:18
     11 >> tst_memory_0 :: 1617148149:4201, 64 bit:4.2.0:x86_64-Linux:pollux:360192
     21 >> tst_memory_1 :: 1617148149:4201, 64 bit:4.2.0:x86_64-Linux:pollux:2256896
     31 >> tst_memory_2 :: 1617148149:4201, 64 bit:4.2.0:x86_64-Linux:pollux:2363392
     41 >> tst_timer_1 :: 1617148149:4201, 64 bit:4.2.0:x86_64-Linux:pollux:28
  • Tst/Manual/annfspecial.tst

    r7f6fff r03e1a6  
    22LIB "dmod.lib";
    33ring r = 0,(x,y),dp;
    4 poly F = x3-y2;
    5 def  B = annfs(F);  setring B;
    6 minIntRoot(BS[1],0);
    7 // So, the minimal integer root is -1
    8 setring r;
    9 def  A = SannfsBM(F);
    10 setring A;
    11 poly F = x3-y2;
    12 annfspecial(LD,F,-1,3/4); // generic root
    13 annfspecial(LD,F,-1,-2);  // integer but still generic root
    14 annfspecial(LD,F,-1,1);   // exceptional root
     4poly F = x3-y2; 
     5bernsteinBM(F); // the roots of Bernstein-Sato poly: -7/6, -1, -5/6
     6// *** first example: generic root
     7def A = annfspecial(F,-5/6);
     8setring A; print(annfalpha); kill A; setring r;
     9// *** second example:  exceptional root since its distance to -1 is integer 2
     10def A = annfspecial(F,1);
     11setring A;  print(annfalpha); kill A; setring r;
     12// *** third example: exceptional root since its distance to -5/6 is integer 1
     13def A = annfspecial(F,1/6);
     14setring A;  print(annfalpha); kill A;
    1515tst_status(1);$
  • Tst/Manual/lpKDimCheck.res.gz.uu

    r7f6fff r03e1a6  
    1 begin 640 lpKDimCheck.res.gz
    2 M'XL("`/I3EP"`VQP2T1I;4-H96-K+G)E<P"5DEU/PC`4AN_W*]X8+[:E`E/Q
    3 M(XM-5!*R0+P`[TVWG6'#:)>VZ/;O'0-&N##&JWZ</$_;]W3Y/DG>`$0<\^0%
    4 M%\ZZ02G3BQCM[$,JZ?P@]G8C.$=9S29R\_I)V7J@Z'M@G7#>\J"X/BB*2N1R
    5 ML[?TQ1L.(]4*!D\8,;]F3<#RZE2_Y<BIP*(M%X;HN5Q1:H1OV#B(,1PBT\HZ
    6 ML\V<A<"<G"-3E2*CSMI;QAR67'?0HL/:E44J+'5[3O^.WG'(G$2):7N%.JP9
    7 MFK!A==B$=6>:&DVI(K.S2=MC]T<L.6$MQ/`G^7`6IS_=OU.J+[TFB\KHC/*M
    8 M(89"9$X;B'TDD!:Z0+%K"6%VU49-RDJMO%&O?CQ7)_]32W64G]S1T1V->/<S
    9 2=IW?6C\*XDOO!XZ=R8E$`@``
     1begin 644 lpKDimCheck.res.gz
     2M'XL(".\P8F`"`VQP2T1I;4-H96-K+G)E<P"5DEUO@C`4AN_Y%6_,+H!T*OM>
     3MR)IL,S%$LPO=O2EPT$8LI*T;_/L!*NYBR[*K?IP\[].>=OD^B=X`!!SSZ`4#
     4M:^PPE_$@1#-;226MZX5..X)SY.5L(G>O&TJV0T6?0V.%=9;'B*MC1%:*5.X.
     5M*7WQFD-+M8;&$\;,K5CML;0\UV\X4LJP:,J9)GK.UQ1KX6IVZX48C9`4REB]
     6M3ZR!P)RL)5WF(J$NM4^YY3!D.]&BPYJ502P,=7NV^!V]XY`IB1S3Y@B57S'4
     7M?LTJO_:K+FFJ"XH5Z39-FAZ[/V'1&6L@AC_)!PY+(MFLOC75G1YN*]5'L26#
     8M4A<)I7M-#)E(;*$A#HV!-"@R9.W#$&:73<-)&5DH9]P+'G\21/\32'52G`W!
     98R1",>?=+VE^P-V[@A1?.%X&L-F-0`@``
    1010`
    1111end
  • Tst/Manual/lpKDimCheck.stat

    r7f6fff r03e1a6  
    1 1 >> tst_memory_0 :: 1548675331:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:303960
    2 1 >> tst_memory_1 :: 1548675331:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2183168
    3 1 >> tst_memory_2 :: 1548675331:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2263664
    4 1 >> tst_timer_1 :: 1548675331:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:6
     11 >> tst_memory_0 :: 1617047791:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:570312
     21 >> tst_memory_1 :: 1617047791:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:2097168
     31 >> tst_memory_2 :: 1617047791:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:2121872
     41 >> tst_timer_1 :: 1617047791:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:25
  • Tst/Manual/lpKDimCheck.tst

    r7f6fff r03e1a6  
    66ideal G = x*x, y*y,x*y*x; // Groebner basis
    77ideal I = x*x, y*x*y, x*y*x; // Groebner basis
    8 lpKDimCheck(G); // invokes procedure, factor algebra is of finite K-dimension
    9 lpKDimCheck(I); // invokes procedure, factor algebra is of infinite Kdimension
     8teach_lpKDimCheck(G); // invokes procedure, factor algebra is of finite K-dimension
     9teach_lpKDimCheck(I); // invokes procedure, factor algebra is of infinite Kdimension
    1010tst_status(1);$
  • Tst/Manual/lpSickleDim.res.gz.uu

    r7f6fff r03e1a6  
    1 begin 640 lpSickleDim.res.gz
    2 M'XL("+SI3EP"`VQP4VEC:VQE1&EM+G)E<P"54DM+Q#`0OO=7?(B'[E+J=GV[
    3 M;$$1%D$\['H3D;2=KL&:E&2J[;\W3=WZ``^>.LF7^1[3V=Q?W]P!2%+<WEQA
    4 MCRW'E<SV%G#5DU22P\DBZ+](4U3U1N8O%5W+UUC1>VQ9<+#YI)A_4I2U*!SN
    5 M64;P,(61:@N#)691V$;=)"KJ+_PH14$EU@XN#=%EM:7,B-!$QY,%#@Z0:V79
    6 M-#E;"-P2,YFZ$CEYUI'E.(4E]D)KW^9.%IFPY.]8_]UZDD(6)"JLG(5VVD;H
    7 MIEW43KMIZYEVH#/"0BIG8VP]3=V#E=&4*3*]FK0C=A9_'UJX&M)(]:9?R(*?
    8 M";71.16-(;Q+?AZF5`LC7LD9M<%#\G@1]/Z"A_E0/;FKI3,VU//'I;/H3CO%
    9 M\]Z-9RY%SMI`#+.$M"C['TD1K/8/"MJZ62/3C2JPE6^DD'4>^3:F'7$RBWMB
    10 M[\]1*<U0E).UPHSB2?(K;C0;`O\,J1N&4-T/_7\'3=R^]3O:[V!CPV2RV`\^
    11 )`)3_K37.`@``
     1begin 644 lpSickleDim.res.gz
     2M'XL("-\Q8F`"`VQP4VEC:VQE1&EM+G)E<P"54DU/ZS`0O.=7C!"'M(I"4[ZI
     3M&HDGI`H)<:#<$*J<9--:!#NR-Y#\>QR'!I`>!TY9>[RS,Y-=/][<W@-(4MS=
     4M_L,!6XXKF1TLX*J-5)+#R2+HOTA35/5:YB\5W<C76-%[;%EPL/ZDF']2E+4H
     5M'.Y91O`XA9%J"X,E9E'81MTD*NHO_"1%024>'%P:HNMJ2YD1H8E.)PL<'2'7
     6MRK)I<K80N"-F,G4E<O*L(\MI"DOL!SWX-G>RR(0E?\?Z]]:S%+(@46'E)+33
     7M-D(W[:)VVDU;S[0'G1`64CD98^MYZAZLC*9,D>FG23MB%S&81+[;?(LN7`V>
     8MI'K3+V3!.T)M=$Y%8PCODG=#5K4PXI6<7!L\)<]70:\R>)H/U<9=+9V\H9X_
     9M+YU0=]K/O>PU>>92Y*P-Q)`HI$79_TZ*8+5_4-#6)8Y,-ZK`5KZ10M9YY%M8
     10M>^)D%O?$7I^C4IJA*"=KA1F')\E_34>SP?9/J[IA"-7]4/%GNXG;O7Y?^WUL
     11/;)A,%H?!!\V0E8W:`@``
    1212`
    1313end
  • Tst/Manual/lpSickleDim.stat

    r7f6fff r03e1a6  
    1 1 >> tst_memory_0 :: 1548675516:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:305312
    2 1 >> tst_memory_1 :: 1548675516:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2183168
    3 1 >> tst_memory_2 :: 1548675516:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:2244136
    4 1 >> tst_timer_1 :: 1548675516:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:7
     11 >> tst_memory_0 :: 1617048031:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:572392
     21 >> tst_memory_1 :: 1617048031:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:2097168
     31 >> tst_memory_2 :: 1617048031:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:2121872
     41 >> tst_timer_1 :: 1617048031:4201, 64 bit:4.2.0:x86_64-Darwin:hoth.localdomain:26
  • Tst/Manual/lpSickleDim.tst

    r7f6fff r03e1a6  
    66ideal G = x*x, y*y,x*y*x; // ideal G contains a
    77//Groebner basis
    8 lpSickleDim(G); // invokes the procedure with ring parameters
     8teach_lpSickleDim(G); // invokes the procedure with ring parameters
    99// the factor algebra is finite, so the degree bound given by the Letterplace
    1010// ring is not necessary
    11 lpSickleDim(G,0); // procedure without any degree bound
     11teach_lpSickleDim(G,0); // procedure without any degree bound
    1212tst_status(1);$
  • Tst/Manual/m.lst

    r7f6fff r03e1a6  
    3535annfsParamBM
    3636annfspecial
     37annfspecialOld
    3738annfsRB
    3839annil
     
    308309euler
    309310evaluate_reynolds
    310 Example_of_use_of_@sc{Letterplace}
    311311execute
    312312exp2pt
     
    366366fouriersystem
    367367fprintf
    368 freeAlgebra
    369368freeGBasis
    370369freemodule
     
    590589is_zero
    591590isZeroElement
    592 iv2lp
    593 iv2lpList
    594 iv2lpMat
    595 ivL2lpI
    596591jacob
    597592Jacobi
     
    645640LengthSym
    646641LengthSymElement
    647 letterplace_bracket
    648 letterplace_dim
    649 letterplace_lift
    650 letterplace_liftstd
    651 letterplace_maxideal
    652 letterplace_map
    653 letterplace_modulo
    654 letterplace_multiplication
    655 letterplace_print
    656 letterplace_reduce
    657 letterplace_std
    658 letterplace_std_Z
    659 letterplace_syz
    660642lex_solve
    661643LIB
     
    690672log2
    691673Long_coefficients
    692 lp2iv
    693 lp2ivId
    694 lpGkDim
    695 lpGlDimBound
    696 lpHilbert
    697 lpId2ivLi
    698 lpIsPrime
    699 lpIsSemiPrime
    700 lpKDim
    701 lpKDimCheck
    702 lpLmDivisible
    703 lpMonomialBasis
    704674lpMonomialPrinting
    705675lpNF
    706 lpNoetherian
    707676lprint
    708 lpSickleDim
    709 lpUfnarovskiGraph
    710677lres
    711678ludecomp
     
    742709makeUsp5
    743710makeWeyl
    744 Manual/Example_of_use_of_@sc{Letterplace}
    745 Manual/iv2lp
    746 Manual/iv2lpList
    747 Manual/iv2lpMat
    748 Manual/ivL2lpI
    749 Manual/letterplace_maxideal
    750 Manual/lp2iv
    751 Manual/lp2ivId
    752 Manual/lpId2ivLi
    753 Manual/serreRelations
    754711mapall
    755712map_BR_PLURAL_BR_operations
     
    11521109separateHNE
    11531110separator
    1154 serreRelations
    11551111setBaseMultigrading
    11561112setinitials
Note: See TracChangeset for help on using the changeset viewer.