Changeset 9f4994 in git


Ignore:
Timestamp:
Feb 13, 2019, 11:16:38 AM (5 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd25190065115c859833252500a64cfb7b11e3a50')
Children:
4a36b218fd02cfc2c0563df9d51ff260ade450cb
Parents:
fbb0a89def7b951711a900fdf077ee3c92c83e9be54cd64f6533b4c1a5b125b3abb3b22b94e98f34
git-author:
Hans Schoenemann <hannes@mathematik.uni-kl.de>2019-02-13 11:16:38+01:00
git-committer:
GitHub <noreply@github.com>2019-02-13 11:16:38+01:00
Message:
Merge pull request #914 from levandov/spielwiese

minor doc fixes plural and letterplace
Files:
3 deleted
14 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/freegb.lib

    re54cd64 r9f4994  
    2626lpDegBound(R);                   returns the degree bound of a letterplace ring
    2727lpVarBlockSize(R);               returns the size of the letterplace blocks
    28 letplaceGBasis(I);               (deprecated) two-sided Groebner basis of a letterplace ideal I
    2928lpDivision(f,I);                 two-sided division with remainder
    3029lpGBPres2Poly(L,I);              reconstructs a polynomial from the output of lpDivision
    31 lieBracket(a,b[, N]);            Lie bracket ab-ba of two letterplace polynomials
    3230isOrderingShiftInvariant(i);     tests shift-invariance of the monomial ordering
    33 isVar(p);                        check whether p is a power of a single variable
    34 makeLetterplaceRing(d);          (deprecated) creates a Letterplace ring out of given data
     31makeLetterplaceRing(d);          (deprecated, use freeAlgebra) creates a Letterplace ring out of given data
     32letplaceGBasis(I);               (deprecated, use twostd) two-sided Groebner basis of a letterplace ideal I
     33lieBracket(a,b[, N]);            (deprecated, use bracket) Lie bracket ab-ba of two letterplace polynomials
    3534setLetterplaceAttributes(R,d,b); (for testing purposes) supplies ring R with the letterplace structure
    3635
     
    7271  example lieBracket;
    7372  example lpPrint;
    74   example isVar;
    7573
    7674  example ivL2lpI;
     
    323321}
    324322
    325 proc isVar(poly p)
     323static proc isVar(poly p)
    326324"USAGE:  isVar(p);  poly p
    327325RETURN:  int
     
    416414"
    417415{
    418   if (lpAssumeViolation())
    419   {
    420     //    ERROR("Either 'uptodeg' or 'lV' global variables are not set!");
    421     ERROR("Incomplete Letterplace structure on the basering!");
    422   }
    423   // alias ppLiebr;
    424   //if int N is given compute [a,[...[a,b]]]] left normed bracket
    425416  int N=1;
    426417  if (size(#)>0)
     
    431422    }
    432423  }
    433   if (N<=0) { return(q); }
    434   poly q = a*b - b*a;
    435   if (N >1)
    436   {
    437     for(int i=1; i<=N-1; i++)
    438     {
    439       q = lieBracket(a,q);
    440     }
    441   }
    442   return(q);
     424  return (bracket(a,b,N));
     425
     426  /* if (lpAssumeViolation()) */
     427  /* { */
     428  /*   //    ERROR("Either 'uptodeg' or 'lV' global variables are not set!"); */
     429  /*   ERROR("Incomplete Letterplace structure on the basering!"); */
     430  /* } */
     431  /* // alias ppLiebr; */
     432  /* //if int N is given compute [a,[...[a,b]]]] left normed bracket */
     433  /* int N=1; */
     434  /* if (size(#)>0) */
     435  /* { */
     436  /*   if (typeof(#[1])=="int") */
     437  /*   { */
     438  /*     N = int(#[1]); */
     439  /*   } */
     440  /* } */
     441  /* if (N<=0) { return(q); } */
     442  /* poly q = a*b - b*a; */
     443  /* if (N >1) */
     444  /* { */
     445  /*   for(int i=1; i<=N-1; i++) */
     446  /*   { */
     447  /*     q = lieBracket(a,q); */
     448  /*   } */
     449  /* } */
     450  /* return(q); */
    443451}
    444452example
  • Singular/LIB/ncfactor.lib

    rfbb0a89 r9f4994  
    2525  facShift(h);               Factorization in the n'th shift algebra
    2626  facFirstShift(h);          Factorization in the first shift algebra
     27  homogfacNthWeyl(h);        Homogeneous factorization in the n'th Weyl algebra
    2728  homogfacNthQWeyl(h);       Homogeneous factorization in the n'th Q-Weyl algebra
    2829  homogfacFirstQWeyl(h);     Homogeneous factorization in the first Q-Weyl algebra
     
    52575258//////////////////////////////////////////////////
    52585259
    5259 static proc homogfacNthWeyl(poly h)
     5260proc homogfacNthWeyl(poly h)
    52605261"USAGE: homogfacNthWeyl(h); h is a homogeneous polynomial in the
    52615262 nth Weyl algebra with respect to the -1,1-grading
  • Singular/LIB/ncrat.lib

    rfbb0a89 r9f4994  
    33category="Noncommutative";
    44info="
    5 LIBRARY:      ncrat.lib Framework for working with nc rational functions
     5LIBRARY:      ncrat.lib Framework for working with non-commutative rational functions
    66
    77AUTHOR:       Ricardo Schnur, email: ricardo.schnur@math.uni-sb.de
    88
    9 SUPPORT:      This project is funded by the SFB-TRR 195
     9SUPPORT:      This project has been funded by the SFB-TRR 195
    1010  'Symbolic Tools in Mathematics and their Application'.
    1111
    1212OVERVIEW:     This library provides a framework for working with
    1313  non-commutative rational functions (or rather, expressions)
    14   and their representations
     14  and their linearized representations
    1515
    1616REFERENCES:   T. Mai: On the analytic theory of non-commutative
     
    2121   rational functions; formal linear representations; minimal representations
    2222
     23NOTE: an almost self-explaining introduction to the posibilities of the framework
     24can be achieved by running the example for the procedure ncrepGetRegularMinimal.
     25   
    2326PROCEDURES:
    2427  ncInit(list);                 Set up framework, list contains nc variables
     
    28082811  "EXAMPLE: (Hua's identity)";
    28092812  echo = 2;
     2813  // We want to prove the Hua's identity, telling that for two
     2814  // invertible elements x,y from a division ring, one has
     2815  // inv(x+x*inv(y)*x)+inv(x+y) = inv(x)
     2816  // where inv(t) stands for the two-sided inverse of t
    28102817  ncInit(list("x", "y"));
    28112818  ncrat f = ncratFromString("inv(x+x*inv(y)*x)+inv(x+y)-inv(x)");
     
    28162823  ncrepDim(s);
    28172824  print(s);
     2825  // since s represents the zero element, Hua's identity holds.
    28182826}
    28192827
  • Singular/iparith.cc

    re54cd64 r9f4994  
    28752875  res->data=NULL;
    28762876
    2877   if (rIsPluralRing(currRing))
     2877  if (rIsPluralRing(currRing) || rIsLPRing(currRing))
    28782878  {
    28792879    const poly q = (poly)b->Data();
     
    28832883      if( (poly)a->Data() != NULL )
    28842884      {
    2885         poly p = (poly)a->CopyD(POLY_CMD); // p = copy!
    2886         res->data = nc_p_Bracket_qq(p,q, currRing); // p will be destroyed!
     2885        if (rIsPluralRing(currRing))
     2886        {
     2887          poly p = (poly)a->CopyD(POLY_CMD); // p = copy!
     2888          res->data = nc_p_Bracket_qq(p,q, currRing); // p will be destroyed!
     2889        }
     2890        else if (rIsLPRing(currRing))
     2891        {
     2892          const poly p = (poly)a->Data();
     2893          res->data = pAdd(ppMult_qq(p,q), pNeg(ppMult_qq(q,p)));
     2894        }
     2895      }
     2896    }
     2897  }
     2898  return FALSE;
     2899}
     2900static BOOLEAN jjBRACKET_REC(leftv res, leftv a, leftv b, leftv c)
     2901{
     2902  res->data=NULL;
     2903
     2904  if (rIsLPRing(currRing) || rIsPluralRing(currRing))
     2905  {
     2906    const poly q = (poly)b->Data();
     2907    if(q != NULL)
     2908    {
     2909      if((poly)a->Data() != NULL)
     2910      {
     2911        const poly p = (poly)a->Data();
     2912        int k=(int)(long)c->Data();
     2913        if (k > 0)
     2914        {
     2915          poly qq = pCopy(q);
     2916          for (int i = 0; i < k; i++)
     2917          {
     2918            poly qq_ref = qq;
     2919            if (rIsLPRing(currRing))
     2920            {
     2921              qq = pAdd(ppMult_qq(p,qq), pNeg(ppMult_qq(qq,p)));
     2922            }
     2923            else if (rIsPluralRing(currRing))
     2924            {
     2925              qq = nc_p_Bracket_qq(pCopy(p), qq, currRing);
     2926            }
     2927            pDelete(&qq_ref);
     2928            if (qq == NULL) break;
     2929          }
     2930          res->data = qq;
     2931        }
     2932        else
     2933        {
     2934          Werror("invalid number of iterations");
     2935        }
    28872936      }
    28882937    }
  • Singular/table.h

    re54cd64 r9f4994  
    593593,{D(jjBETTI2_ID), BETTI_CMD,      INTMAT_CMD,     IDEAL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING}
    594594,{D(jjBETTI2_ID), BETTI_CMD,      INTMAT_CMD,     MODUL_CMD,  INT_CMD, ALLOW_PLURAL | ALLOW_RING}
    595 #ifdef HAVE_PLURAL
    596 ,{D(jjBRACKET),   BRACKET_CMD,    POLY_CMD,       POLY_CMD,   POLY_CMD, ALLOW_PLURAL | NO_RING}
     595#if defined(HAVE_PLURAL) || defined(HAVE_SHIFTBBA)
     596,{D(jjBRACKET),   BRACKET_CMD,    POLY_CMD,       POLY_CMD,   POLY_CMD, ALLOW_NC | NO_RING}
    597597#endif
    598598,{D(jjCHINREM_BI),CHINREM_CMD,    BIGINT_CMD,     INTVEC_CMD, INTVEC_CMD, ALLOW_PLURAL |ALLOW_RING}
     
    794794,{D(atATTRIB3),        ATTRIB_CMD, NONE,       IDHDL,      STRING_CMD, DEF_CMD, ALLOW_NC |ALLOW_RING}
    795795,{D(jjBAREISS3),       BAREISS_CMD,LIST_CMD,   MODUL_CMD,  INT_CMD,    INT_CMD, NO_NC |ALLOW_RING|NO_ZERODIVISOR}
     796#if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
     797,{D(jjBRACKET_REC),    BRACKET_CMD,POLY_CMD,   POLY_CMD,   POLY_CMD,   INT_CMD, ALLOW_NC | NO_RING}
     798#endif
    796799,{D(jjCOEFFS3_P),      COEFFS_CMD, MATRIX_CMD, POLY_CMD,   POLY_CMD,   MATRIX_CMD, ALLOW_PLURAL |ALLOW_RING}
    797800,{D(jjCOEFFS3_P),      COEFFS_CMD, MATRIX_CMD, VECTOR_CMD, POLY_CMD,   MATRIX_CMD, ALLOW_PLURAL |ALLOW_RING}
     
    986989  { "bigintmat",   0, BIGINTMAT_CMD ,     BIGINTMAT_CMD},
    987990  { "branchTo",    0, BRANCHTO_CMD ,      CMD_M},
    988   #ifdef HAVE_PLURAL
    989   { "bracket",     0, BRACKET_CMD ,       CMD_2},
     991  #if defined(HAVE_SHIFTBBA) || defined(HAVE_PLURAL)
     992  { "bracket",     0, BRACKET_CMD ,       CMD_23},
    990993  #endif
    991994  { "break",       0, BREAK_CMD ,         BREAK_CMD},
  • Tst/Manual/m.lst

    re54cd64 r9f4994  
    10701070involution
    10711071isFsat
    1072 isVar
    10731072makeQsl2
    10741073makeUsp1
  • Tst/Short/ncfactor_example_all_procedures_s.res.gz.uu

    re54cd64 r9f4994  
    11begin 640 ncfactor_example_all_procedures_s.res.gz
    2 M'XL("(^-:%H"`VYC9F%C=&]R7V5X86UP;&5?86QL7W!R;V-E9'5R97-?<RYR
    3 M97,`W5??3^,X$'[/7Q$A'H!*Y9H$5BH2I]V6ZB*QA:/5WD.U6SG)I+%P[&`[
    4 M_7%__8V3E`4V#@LKG73W$J>>;[Z,QS-?[=E\'$Y=UQU<NM?A)_=`*]UG-#JX
    5 M<&:-Q;MT<7)).=5'QQ>.&=W+2Y?'*8FUD$O8DKQ@L"2,+0LI8DA*"6JI^APV
    6 M?:6)?F3R&Z85%Q*.#D9?9FXX=@_#Y/``B4]/GUB'[A/K(T'0!+G_]HM(SVK^
    7 MO=5$.P>E*5^Y"3#0L$S*@M&8:(R/"PUKPOK.K(QC4"HM\?U5^)+P9*F$U*UN
    8 ML<@CRN$^I9REK8@"9%X4K2;T)'(W`R+CK!6P`OV1L3%=4PQ`3:3()[C.:ZK:
    9 M@]&2$KZ:EGFK-45WXSH7(==KB*V@VCP7UN_@GB=E#'^(7*P,:"+D;35E@0NE
    10 M:,1J_"V16H7\$^@-`&_%<]CJ68[%!?**:[E[*^E4\#N(2ZGH&EI]*8\EY,!-
    11 MB5LS\9FV1T>56?+50TE8>_3[+J'J+]B]BOG3"HHSB._#%#.+)335V4\#[904
    12 MDS02>5YBCV)R9F5TA]/MA5`'&']'=\#HWX!%TU'"(P%I.L?>`H7?C]J3(B1N
    13 M.E)-*D[5WJ;8"PFTV_*2:5JPG?''<&Y*79261L%Q.L+8VWD$5TW]S3/";<OZ
    14 M3+9C6$F`+Y8*HFK29`?S)WA#V0HU^@))R!58=.8%E[W\#-,S:'NN,M,VF("N
    15 MNGJ!,7)OJX'NVD1]J-HTY%D]:$#%0ZDB$654[[J"4,B^(=XO0A+4=IFC4-_A
    16 MQ$WZ732ZG%8DSPG&/L]`DRX@ZI7$E%>LP$&4:B_9[_.ZAE2_S_..KK).5^QG
    17 M;`H857];=7V@T&$I5V2=V6@:.8^:_)DJLR%O*W4VFTM!80JKN&;6SJW*8HRR
    18 M*FE4FJ!^8O770!+\.<=]O4D;_*U@.\O^FT9]%R[D:S#-:0]\0W4F9-(MTD9Z
    19 MC1$U]R.S2BY:K0S&G-%4O]:KM?P;@QNXJ9`_V)"),DCZSM6V@!B7-N3.8O!U
    20 MZ)A#X:GG++SZ_<@[>0B^G1^?;(-OP4F"CUX]==8+S!#TSLW@5P#?`/P&X-<6
    21 MKQHJLV?,7L\_V>*;U_-P#F=Z@]^<A=]\[<$0^0:)C][1<\<M\ON]VBEP1*0)
    22 M-K,U\#=0/7[^7UELM2MG_]-=602U3S)P%F?UZQ;C/F]F?6?QH9G]#^_@6Q:)
    23 MS]]_W&>J\*BCW8V0]\UA&H]M;->OX0S(^ND1T5QXAL.GEYS'R\]Y??DQ%ZY2
    24 7F:O/WO#AF6%P?.$>.O\`2J>J*_8-````
     2M'XL("%B;8EP"`VYC9F%C=&]R7V5X86UP;&5?86QL7W!R;V-E9'5R97-?<RYR
     3M97,`W5=;3^,X%'[/KX@0#T"ELDT"(Q6)U4Q+M9&8PM)J]J&:J9SDI+%P[&`[
     4MO>ROW^,D98")P\!(*^V^Q*[/=SX?GUOMV7P<3EW7'5RZU^$G]T`KW6<T.KAP
     5M9HW$NW1Q<4DYU4?'%XX9W<M+E\<IB;602]B2O&"P)(PM"REB2$H):JGZ'#9]
     6MI8E^9/(;IA47$HX.1E]F;CAV#\/D\`")3T^?2(?N$^DC0=`8N=_[A:5G-?]>
     7M:JR=@]*4K]P$&&A8)F7!:$PTVL>%AC5A?6=6QC$HE98X?Q6^)#Q9*B%UJUHL
     8M\HARN$\I9VDKH@"9%T6K"#6)W,V`R#AK!:Q`?V1L3-<4#5`3*?()GO.:JG9C
     9MM*2$KZ9EWBI-4=VHSD7(]1IB*Z@6SX5U'XQY4L;PA\C%RH`F0MY62Q:X4(I&
     10MK,;?$JE5R#^!W@#P5CR'K9[EF%P@K[B6N[>23@6_@[B4BJZA59?R6$(.W*2X
     11MU1-4F:-=/92$M5NYKP:J_H+=JY@_K:`X@_@^3-&#F"I3G?TTT$Y)T1DCD><E
     12MUB(Z859&=[C<'O#:P/@[N@-&_P9,CHY4'0E(TSG6$"C</VIWBI`87*2:5)RJ
     13MO1PQYQ-HE^4ET[1@.Z./YMR4NB@M!8'C=(2VM_,(KIH\FV>$VX[UF6S'L)(`
     14M7ZR9,FF\@_X3O*%LA9H^`DG(%5CZR0LN>_H9IF?0=E]EICS0`5UY]0)CVKHM
     15M![IS$_M`58XAS^I!`W8V;$DDHHSJ79<1"MDWQ/M%2((]7.;8D.]PX2;]WARZ
     16ME%8DSPG:/L]`DRX@]B6)+J]8@8,HU;XUOT_K&E+]/LT[NLHZ5;&>L2A@5/T]
     17MU?GQF7),Y8JLTQM-(>=1XS^393;D;=6%37`I*'1A9=?,6KE56HRQK4H:E<:H
     18MGSC]-9`$?\XQKC=I@[\5;&>)ORG4=^%"O@93G';#-U1G0B;=3=JT7B/$GON1
     19M65LN2JT,1IS15+]6JW7[-P(W<%,A?Y`A$V60])VK;0$Q'FW(G<7@Z]`QE[]3
     20MSUEX]?S(.WD(OIT?GVR#;\%)@I]>O736"\P0],[-X%<`WP#\!N#7$J\:*K%G
     21MQ%[//]GBS.MYN(8KO<%OSL)O=GLP1+Y!XJ=W]%QQB_Q^KU8*'!%I@L5L-?P-
     22M5(_;_RN'K:)R]C^-RB*H=9*!LSBKIUNT^[Q9]9W%AV;U/QS!MQP2O[__&&>J
     23M\*JCW8V0]\VE&:]M;->OX0S(^ND5T3QLAL.GCYG'1\YY_<@Q#ZM2F2?.7O#A
     241F6!P?.$>.O\`/4L7U-X-````
    2525`
    2626end
  • Tst/Short/ncfactor_example_all_procedures_s.stat

    re54cd64 r9f4994  
    1 1 >> tst_memory_0 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:3967424
    2 1 >> tst_memory_1 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:7045120
    3 1 >> tst_memory_2 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:17891328
    4 1 >> tst_timer :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:14634
    5 2 >> tst_memory_0 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:3968152
    6 2 >> tst_memory_1 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:7045120
    7 2 >> tst_memory_2 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:17891328
    8 2 >> tst_timer_1 :: 1516801423:4104, 64 bit:4.1.0:x86_64-Linux:nepomuck:14634
     11 >> tst_memory_0 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:4038920
     21 >> tst_memory_1 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:9031680
     31 >> tst_memory_2 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:17932288
     41 >> tst_timer :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:11234
     52 >> tst_memory_0 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:4039648
     62 >> tst_memory_1 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:9031680
     72 >> tst_memory_2 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:17932288
     82 >> tst_timer_1 :: 1549966168:4114, 64 bit:4.1.1:x86_64-Linux:nepomuck:11235
  • doc/Makefile.bsp

    re54cd64 r9f4994  
    1111SINGUNAME       = spielwiese
    1212
    13 ## directory where info files are installed
    14 prefix          = /scratch/hannes/billbo-sw
    15 infodir         = ${prefix}/info
    1613bindir          = @bindir@
    17 htmldir         = ${prefix}/html
    18 exdir           = ${prefix}/examples
    19 
    20 localdir        = /usr/local
    21 install_prefix  = ${localdir}/share
    22 install_infodir = ${install_prefix}/info
    23 install_htmldir = ${install_prefix}/html
    24 install_docdir  = ${install_prefix}/doc
    25 install_exdir   = ${install_prefix}/examples
    26 
    27 # directory where files for ftp site go
    28 ftpdir          = /tmp
    2914
    3015##
    3116## needed programs
    3217##
    33 LN_S            = ln -s
    34 INSTALL         = ../install-sh -c
    35 INSTALL_PROGRAM = ${INSTALL}
    36 INSTALL_DATA    = ${INSTALL} -m 644
    3718MKINSTALLDIRS   = mkdir -p
    38 GZIP            = gzip
    3919UUDECODE        = uudecode
    4020
     
    221201
    222202###########################################################
    223 # stand-alone targest
    224 #
    225 
    226 STANDALONE_TXT_FILES := $(STANDALONE_TEXI_FILES:.texi=.txt)
    227 STANDALONE_HTML_FILES := $(STANDALONE_TEXI_FILES:.texi=.html)
    228 STANDALONE_FILES      := $(STANDALONE_TEXI_FILES:.texi=)
    229203
    230204ifeq ($(SINGUNAME),@SINGUNAME@)
     
    247221% : %.txt
    248222        cp $< $@
    249 
    250 standalone: standalone-txt standalone-html ${STANDALONE_FILES}
    251 
    252 standalone-html: ${STANDALONE_HTML_FILES}
    253 standalone-txt:  ${STANDALONE_TXT_FILES}
    254 
    255 WWW_DIR = /singular/www/2-0/
    256 FTP_DIR = /ftp/pub/Math/Singular/Development
    257 
    258 install-standalone: standalone
    259         cp INSTALL_unix.html COPYING.html INSTALL_win.html ${WWW_DIR}
    260         cp COPYING COPYING.html ${FTP_DIR}
    261         cp INSTALL_unix INSTALL_unix.html ${FTP_DIR}
    262         cp INSTALL_win INSTALL_win.html ${FTP_DIR}
    263         cp README_ftp.html ${FTP_DIR}/README.html
    264         cp README_ftp ${FTP_DIR}/README
    265         cp NEWS.html NEWS ${FTP_DIR}
    266         cp NEWS.html ${WWW_DIR}
    267         - chmod g+w ${FTP_DIR}/*
    268 
    269 
    270223
    271224###########################################################
     
    305258# misc targets
    306259#
    307 install: singular.hlp html singular.idx standalone
    308         ${MKINSTALLDIRS} ${infodir}
    309         ${INSTALL_DATA} singular.hlp ${infodir}
    310         test -r ${htmldir} || ln -s `pwd`/${HTML_SUBDIR} ${htmldir}
    311         test -r ${exdir} || ln -s `pwd`/${EX_SUBDIR} ${exdir}
    312 
    313 install_all: install
    314 
    315 uninstall:
    316         rm -f ${infodir}/singular.hlp
    317         - rmdir ${infodir}
    318 
    319 #stupid HP's don't allow copy with many arguments
    320 install-sharedist: singular.hlp html singular.idx \
    321                    ${STANDALONE_HTML_FILES} ${STANDALONE_TXT_FILES}
    322         ${MKINSTALLDIRS} ${install_prefix}
    323         ${MKINSTALLDIRS} ${install_infodir}
    324         ${INSTALL_DATA} singular.hlp ${install_infodir}
    325         chmod -R +rX ${install_infodir}
    326         ${MKINSTALLDIRS} ${install_htmldir}
    327         cp ${HTML_SUBDIR}/*.htm ${install_htmldir}
    328         cp ${HTML_SUBDIR}/*.gif ${install_htmldir}
    329         -cp ${HTML_SUBDIR}/*.png ${install_htmldir}
    330         cp ${HTML_SUBDIR}/*.jpg ${install_htmldir}
    331         chmod -R +rX ${install_htmldir}
    332         ${MKINSTALLDIRS} ${install_docdir}
    333         ${INSTALL_DATA} singular.idx ${install_docdir}
    334         ${INSTALL_DATA} ../GPL2 ${install_prefix}/GPL2
    335         ${INSTALL_DATA} ../GPL3 ${install_prefix}/GPL3
    336         ${INSTALL_DATA} COPYING.txt ${install_prefix}/COPYING
    337         ${INSTALL_DATA} COPYING.html ${install_prefix}
    338         ${INSTALL_DATA} NEWS.txt ${install_prefix}/NEWS
    339         ${INSTALL_DATA} NEWS.html ${install_prefix}
    340         ${INSTALL_DATA} README_distribution.txt ${install_prefix}/README
    341         ${INSTALL_DATA} README_distribution.html ${install_prefix}/README.html
    342         chmod -R +rX ${install_docdir}
    343         chmod -R +rX ${install_prefix}
    344         ${MKINSTALLDIRS} ${install_exdir}
    345         cp -R examples ${install_prefix}
    346         /bin/rm -f ${install_prefix}/examples/[A-Z]*.res
    347         /bin/rm -f ${install_prefix}/examples/*.res
    348         /bin/rm -f ${install_prefix}/examples/[A-Z]*.inc
    349         /bin/rm -f ${install_prefix}/examples/*.inc
    350         chmod -R +rX ${install_prefix}/
    351 
    352 # use 'make INSTALL_unix.olaf.txt INSTALL_unix.olaf.html SINGUNAME=olaf'
    353 # to generate these files for uname 'olaf'
    354 install-bindist: INSTALL_unix.${SINGUNAME}.txt INSTALL_unix.${SINGUNAME}.html
    355         ${MKINSTALLDIRS} ${install_prefix}
    356         ${INSTALL_DATA} INSTALL_unix.${SINGUNAME}.txt ${install_prefix}/INSTALL
    357         ${INSTALL_DATA} INSTALL_unix.${SINGUNAME}.html ${install_prefix}/INSTALL.html
    358 
    359 install-ftp: ${STANDALONE_HTML_FILES} ${STANDALONE_TXT_FILES}
    360         ${INSTALL_DATA} NEWS.txt ${ftpdir}/NEWS
    361         ${INSTALL_DATA} NEWS.html ${ftpdir}
    362         ${INSTALL_DATA} COPYING.txt ${ftpdir}/COPYING
    363         ${INSTALL_DATA} COPYING.html ${ftpdir}
    364         ${INSTALL_DATA} INSTALL_unix.txt ${ftpdir}/INSTALL_unix
    365         ${INSTALL_DATA} INSTALL_unix.html ${ftpdir}
    366         ${INSTALL_DATA} README_ftp.txt ${ftpdir}/README
    367         ${INSTALL_DATA} README_ftp.html ${ftpdir}/README.html
    368 
    369260texi2html = $(TEXI2HTML:%.pl=%)
    370 
    371 lib2doc.tar.gz:
    372         rm -rf lib2doc lib2doc.tar.gz
    373         mkdir lib2doc
    374         cp Makefile.lib2doc lib2doc/Makefile
    375         ${MAKEINFO} --no-header --paragraph-indent none -o lib2doc/README lib2doc.texi
    376         cp pl2doc.pl doc2tex.pl ${texi2html} lib2doc
    377         tar cf lib2doc.tar lib2doc
    378         ${GZIP} lib2doc.tar
    379261
    380262clean: mostlyclean
     
    406288#       cd ..; ${MAKE} ${SINGULAR}
    407289
    408 Makefile: Makefile.in
    409         cd ..;  CONFIG_FILES="doc/Makefile" CONFIG_HEADERS= ./config.status
    410 
    411290html-done: ${MANUAL_FILES}
  • kernel/maps/gen_maps.cc

    re54cd64 r9f4994  
    164164  return p;
    165165}
     166
     167number maEvalAt(const poly p,const number* pt, const ring r)
     168{
     169  ideal map=idInit(r->N,1);
     170  for(int i=r->N-1;i>=0;i--)
     171  {
     172    map->m[i]=p_NSet(n_Copy(pt[i],r->cf),r);
     173  }
     174  poly v=maMapPoly(p,r,map,r,ndCopyMap);
     175  id_Delete(&map,r);
     176  number vv=pGetCoeff(v);
     177  p_LmFree(&v,r);
     178  return vv;
     179}
  • kernel/maps/gen_maps.h

    re54cd64 r9f4994  
    2323ideal id_SubstPoly (ideal id, int var, poly image, const ring preimage_r, const ring image_r, const nMapFunc nMap);
    2424
     25/// evaluate the polynomial p at the pt given by the array pt
     26number maEvalAt(const poly p,const number* pt, const ring r);
    2527#endif
    2628
Note: See TracChangeset for help on using the changeset viewer.