Changeset 4bde6b in git for Singular/LIB/standard.lib
- Timestamp:
- May 15, 2020, 3:20:00 PM (4 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- a1b40ab8675488c2a4f8e225d9d748ba70340727
- Parents:
- 538e06d0809adf9f75fea000cf70d354bb674ab5
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/standard.lib
r538e06 r4bde6b 10 10 groebner(ideal,...) standard basis using a heuristically chosen method 11 11 res(ideal/module,[i]) free resolution of ideal or module 12 sprintf(fmt,...) returns fo matted string12 sprintf(fmt,...) returns formatted string 13 13 fprintf(link,fmt,..) writes formatted string to link 14 14 printf(fmt,...) displays formatted string 15 weightKB(stc,dd,vl) degree dd part of a kbase w.r.t. some weig ths15 weightKB(stc,dd,vl) degree dd part of a kbase w.r.t. some weights 16 16 qslimgb(i) computes a standard basis with slimgb in a qring 17 17 par2varRing([i]) create a ring making pars to vars, together with i … … 359 359 360 360 //-------------------- go back to original ring --------------------------- 361 //The main computation is done. Do not forget to simplfy before map ing.361 //The main computation is done. Do not forget to simplfy before mapping. 362 362 363 363 // subst 1 for homogenizing var … … 413 413 order in RL[3]. Then QL will be obtained from RL just by replacing 414 414 RL[4] by a standard of it with respect to this order. RL itself 415 will be return d if size(RL[4]) <= 1 (in which case it is known to be415 will be returned if size(RL[4]) <= 1 (in which case it is known to be 416 416 a standard basis w.r.t. any ordering) or if a second argument 417 417 \"isSB\" of type string is given. … … 566 566 "USAGE: hilbRing([w,l]); w = intvec, l = list of ideals/modules 567 567 RETURN: list, say L: L[1] is a ring and L[2] an intvec 568 L[1] is a ring w hith an extra homogenizing variable with name @,568 L[1] is a ring with an extra homogenizing variable with name @, 569 569 resp. @(i) if @ and @(1), ..., @(i-1) are defined. 570 570 The monomial ordering of L[1] is consists of 1 block: dp if the … … 856 856 // - Komplizierte Ordnungen (lp oder > 1 Block): hilb 857 857 //V1 - Parameter werden grundsaetzlich nicht in Variable umgewandelt 858 //V2 - Mehr als ein Par meter wird zu Variable konvertiert858 //V2 - Mehr als ein Parameter wird zu Variable konvertiert 859 859 // - fglm is keine Heuristik, da sonst vorher dim==0 peprueft werden muss 860 860 … … 1043 1043 //(Note:Singular counts always least 2 blocks, one is for module component): 1044 1044 //Call a method "direct" if conversion=="no" && partovar="no" which means 1045 //that we apply std or slimgb dir cet in the basering (exception1045 //that we apply std or slimgb direct in the basering (exception 1046 1046 //as long as slimgb does not know qrings: in a qring of a ring P 1047 1047 //the ideal Qideal is added to the ideal and slimgb is applied in P). … … 1076 1076 //direct=="no" (i.e. "hilb" or "fglm" or "par2var" is given) 1077 1077 //or no method is given and we have a complicated monomial ordering 1078 //V1: "par2var" is not a default strategy, it must be explicit ely1078 //V1: "par2var" is not a default strategy, it must be explicitly 1079 1079 //given in order to be performed. 1080 1080 //V2: "par2var" is a default strategy if there are more than 1 parameters … … 1913 1913 "SYNTAX: @code{datetime ()} 1914 1914 RETURN: string 1915 PURPOSE: return the cur ent date and time as a string1915 PURPOSE: return the current date and time as a string 1916 1916 EXAMPLE: example datetime; shows an example 1917 1917 "
Note: See TracChangeset
for help on using the changeset viewer.