Changeset b9b906 in git for Singular/LIB/standard.lib
- Timestamp:
- Jan 16, 2001, 2:48:47 PM (23 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 081d28e7da33af82545a27eb9f8ee82b0884b9f0
- Parents:
- 4e3468f1f6473297e317588e34a7719e241780f9
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/standard.lib
r4e3468 rb9b906 1 1 ////////////////////////////////////////////////////////////////////////////// 2 version="$Id: standard.lib,v 1.5 4 2001-01-15 19:06:12 lossenExp $";2 version="$Id: standard.lib,v 1.55 2001-01-16 13:48:44 Singular Exp $"; 3 3 category="Miscellaneous"; 4 4 info=" … … 143 143 TYPE: type of the first argument 144 144 PURPOSE: computes the standard basis of the first argument @code{I} 145 (ideal or module), by a heuristically chosen method: if the 146 ordering of the current ring is a local ordering, or if it is a 147 non-block ordering and the current ring has no parameters, then 148 @code{std(I)} is returned. Otherwise, @code{I} is mapped into a 149 ring with no parameters and ordering dp, where its Hilbert series 150 is computed. This is followed by a Hilbert-series based std 145 (ideal or module), by a heuristically chosen method: if the 146 ordering of the current ring is a local ordering, or if it is a 147 non-block ordering and the current ring has no parameters, then 148 @code{std(I)} is returned. Otherwise, @code{I} is mapped into a 149 ring with no parameters and ordering dp, where its Hilbert series 150 is computed. This is followed by a Hilbert-series based std 151 151 computation in the original ring. 152 152 NOTE: If a 2nd argument @code{wait} is given, then the computation proceeds … … 449 449 450 450 @ifinfo 451 @item *not minimized resolution and (homogeneous input with k<>0, 451 @item *not minimized resolution and (homogeneous input with k<>0, 452 452 or local rings):*@* 453 453 @end ifinfo … … 600 600 proc quot (m1,m2,list #) 601 601 "SYNTAX: @code{quot (} module_expression@code{,} module_expression @code{)} 602 @*@code{quot (} module_expression@code{,} module_expression@code{,} 602 @*@code{quot (} module_expression@code{,} module_expression@code{,} 603 603 int_expression @code{)} 604 604 @*@code{quot (} ideal_expression@code{,} ideal_expression @code{)} 605 @*@code{quot (} ideal_expression@code{,} ideal_expression@code{,} 605 @*@code{quot (} ideal_expression@code{,} ideal_expression@code{,} 606 606 int_expression @code{)} 607 607 TYPE: ideal … … 859 859 @code{] )} 860 860 RETURN: string 861 PURPOSE: @code{sprintf(fmt,...);} performs output formatting. The first 862 argument is a format control string. Additional arguments may be 863 required, depending on the content of the control string. A series 861 PURPOSE: @code{sprintf(fmt,...);} performs output formatting. The first 862 argument is a format control string. Additional arguments may be 863 required, depending on the content of the control string. A series 864 864 of output characters is generated as directed by the control string; 865 865 these characters are returned as a string. @* 866 866 The control string @code{fmt} is simply text to be copied, 867 867 except that the string may contain conversion specifications.@* 868 Do @code{help print;} for a listing of valid conversion 869 specifications. As an addition to the conversions of @code{print}, 870 the @code{%n} and @code{%2} conversion specification does not 871 consume an additional argument, but simply generates a newline 868 Do @code{help print;} for a listing of valid conversion 869 specifications. As an addition to the conversions of @code{print}, 870 the @code{%n} and @code{%2} conversion specification does not 871 consume an additional argument, but simply generates a newline 872 872 character. 873 873 NOTE: If one of the additional arguments is a list, then it should be … … 948 948 "SYNTAX: @code{printf (} string_expression @code{[,} any_expressions@code{] )} 949 949 RETURN: none 950 PURPOSE: @code{printf(fmt,...);} performs output formatting. The first 951 argument is a format control string. Additional arguments may be 952 required, depending on the content of the control string. A series 950 PURPOSE: @code{printf(fmt,...);} performs output formatting. The first 951 argument is a format control string. Additional arguments may be 952 required, depending on the content of the control string. A series 953 953 of output characters is generated as directed by the control string; 954 954 these characters are displayed (i.e., printed to standard out). @* 955 The control string @code{fmt} is simply text to be copied, except 955 The control string @code{fmt} is simply text to be copied, except 956 956 that the string may contain conversion specifications. @* 957 Do @code{help print;} for a listing of valid conversion 958 specifications. As an addition to the conversions of @code{print}, 959 the @code{%n} and @code{%2} conversion specification does not 960 consume an additional argument, but simply generates a newline 957 Do @code{help print;} for a listing of valid conversion 958 specifications. As an addition to the conversions of @code{print}, 959 the @code{%n} and @code{%2} conversion specification does not 960 consume an additional argument, but simply generates a newline 961 961 character. 962 962 NOTE: If one of the additional arguments is a list, then it should be 963 enclosed once more into a @code{list()} command, since passing a 963 enclosed once more into a @code{list()} command, since passing a 964 964 list as an argument flattens the list by one level. 965 965 SEE ALSO: sprintf, fprintf, print, string … … 986 986 987 987 proc fprintf(link l, string fmt, list #) 988 "SYNTAX: @code{fprintf (} link_expression@code{,} string_expression @code{[,} 988 "SYNTAX: @code{fprintf (} link_expression@code{,} string_expression @code{[,} 989 989 any_expressions@code{] )} 990 990 RETURN: none 991 PURPOSE: @code{fprintf(l,fmt,...);} performs output formatting. 992 The second argument is a format control string. Additional 993 arguments may be required, depending on the content of the 994 control string. A series of output characters is generated as 991 PURPOSE: @code{fprintf(l,fmt,...);} performs output formatting. 992 The second argument is a format control string. Additional 993 arguments may be required, depending on the content of the 994 control string. A series of output characters is generated as 995 995 directed by the control string; these characters are 996 996 written to the link l. 997 The control string @code{fmt} is simply text to be copied, except 997 The control string @code{fmt} is simply text to be copied, except 998 998 that the string may contain conversion specifications.@* 999 Do @code{help print;} for a listing of valid conversion 1000 specifications. As an addition to the conversions of @code{print}, 1001 the @code{%n} and @code{%2} conversion specification does not 1002 consume an additional argument, but simply generates a newline 999 Do @code{help print;} for a listing of valid conversion 1000 specifications. As an addition to the conversions of @code{print}, 1001 the @code{%n} and @code{%2} conversion specification does not 1002 consume an additional argument, but simply generates a newline 1003 1003 character. 1004 1004 NOTE: If one of the additional arguments is a list, then it should be 1005 enclosed once more into a @code{list()} command, since passing 1005 enclosed once more into a @code{list()} command, since passing 1006 1006 a list as an argument flattens the list by one level. 1007 1007 SEE ALSO: sprintf, printf, print, string
Note: See TracChangeset
for help on using the changeset viewer.