Changeset 4bde6b in git for Singular/LIB/standard.lib


Ignore:
Timestamp:
May 15, 2020, 3:20:00 PM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
a1b40ab8675488c2a4f8e225d9d748ba70340727
Parents:
538e06d0809adf9f75fea000cf70d354bb674ab5
Message:
spelling p1
File:
1 edited

Legend:

Unmodified
Added
Removed
  • Singular/LIB/standard.lib

    r538e06 r4bde6b  
    1010 groebner(ideal,...)    standard basis using a heuristically chosen method
    1111 res(ideal/module,[i])  free resolution of ideal or module
    12  sprintf(fmt,...)       returns fomatted string
     12 sprintf(fmt,...)       returns formatted string
    1313 fprintf(link,fmt,..)   writes formatted string to link
    1414 printf(fmt,...)        displays formatted string
    15  weightKB(stc,dd,vl)    degree dd part of a kbase w.r.t. some weigths
     15 weightKB(stc,dd,vl)    degree dd part of a kbase w.r.t. some weights
    1616 qslimgb(i)             computes a standard basis with slimgb in a qring
    1717 par2varRing([i])       create a ring making pars to vars, together with i
     
    359359
    360360//-------------------- go back to original ring ---------------------------
    361 //The main computation is done. Do not forget to simplfy before maping.
     361//The main computation is done. Do not forget to simplfy before mapping.
    362362
    363363  // subst 1 for homogenizing var
     
    413413         order in RL[3]. Then QL will be obtained from RL just by replacing
    414414         RL[4] by a standard of it with respect to this order. RL itself
    415          will be returnd if size(RL[4]) <= 1 (in which case it is known to be
     415         will be returned if size(RL[4]) <= 1 (in which case it is known to be
    416416         a standard basis w.r.t. any ordering) or if a second argument
    417417         \"isSB\" of type string is given.
     
    566566"USAGE:   hilbRing([w,l]); w = intvec, l = list of ideals/modules
    567567RETURN:  list, say L: L[1] is a ring and L[2] an intvec
    568          L[1] is a ring whith an extra homogenizing variable with name @,
     568         L[1] is a ring with an extra homogenizing variable with name @,
    569569         resp. @(i) if @ and @(1), ..., @(i-1) are defined.
    570570         The monomial ordering of L[1] is consists of 1 block: dp if the
     
    856856//   - Komplizierte Ordnungen (lp oder > 1 Block): hilb
    857857//V1 - Parameter werden grundsaetzlich nicht in Variable umgewandelt
    858 //V2 - Mehr als ein Parmeter wird zu Variable konvertiert
     858//V2 - Mehr als ein Parameter wird zu Variable konvertiert
    859859//   - fglm is keine Heuristik, da sonst vorher dim==0 peprueft werden muss
    860860
     
    10431043  //(Note:Singular counts always least 2 blocks, one is for module component):
    10441044  //Call a method "direct" if conversion=="no" && partovar="no" which means
    1045   //that we apply std or slimgb dircet in the basering (exception
     1045  //that we apply std or slimgb direct in the basering (exception
    10461046  //as long as slimgb does not know qrings: in a qring of a ring P
    10471047  //the ideal Qideal is added to the ideal and slimgb is applied in P).
     
    10761076//direct=="no" (i.e. "hilb" or "fglm" or "par2var" is given)
    10771077//or no method is given and we have a complicated monomial ordering
    1078 //V1: "par2var" is not a default strategy, it must be explicitely
     1078//V1: "par2var" is not a default strategy, it must be explicitly
    10791079//given in order to be performed.
    10801080//V2: "par2var" is a default strategy if there are more than 1 parameters
     
    19131913"SYNTAX: @code{datetime ()}
    19141914RETURN:  string
    1915 PURPOSE: return the curent date and time as a string
     1915PURPOSE: return the current date and time as a string
    19161916EXAMPLE: example datetime; shows an example
    19171917"
Note: See TracChangeset for help on using the changeset viewer.