Changeset 268a430 in git for Singular/LIB
- Timestamp:
- Sep 29, 2010, 9:56:05 AM (14 years ago)
- Branches:
- (u'fieker-DuVal', '117eb8c30fc9e991c4decca4832b1d19036c4c65')(u'spielwiese', 'd08f5f0bb3329b8ca19f23b74cb1473686415c3a')
- Children:
- c07915692fab701990e51b29d157005740832cb5
- Parents:
- f27ab81188b33e30c0100dac95bb6a7936819c94
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/resolve.lib
rf27ab81 r268a430 8 8 @* G. Pfister, pfister@mathematik.uni-kl.de 9 9 10 MAINPROCEDURES:10 PROCEDURES: 11 11 blowUp(J,C[,W,E]) computes the blowing up of the variety V(J) (considered 12 12 as embedded in V(W)) in the (smooth) center V(C), … … 16 16 resolve(J) computes the desingularization of the variety V(J) 17 17 18 PROCEDURES FOR PRETTY PRINTING OF OUTPUT:19 18 showBO(BO) prints the content of a BO in more human readable form 20 19 presentTree(L) prints the final charts in more human readable form 21 20 showDataTypes() prints help text for output data types 22 21 23 AUXILLARY PROCEDURES:24 22 blowUpBO(BO,C) computes the blowing up of the variety V(BO[1]) in the 25 23 center V(C). BO is a list (basic object), C is an ideal … … 1243 1241 } 1244 1242 ////////////////////////////////////////////////////////////////////////////// 1245 static 1246 proc slocusE(ideal i) 1243 static proc slocusE(ideal i) 1247 1244 "Internal procedure - no help and no example available 1248 1245 " … … 1264 1261 } 1265 1262 /////////////////////////////////////////////////////////////////////////////// 1266 static 1267 proc inters_E(list BO) 1263 static proc inters_E(list BO) 1268 1264 "USAGE: inters_E(BO); 1269 1265 @* BO = basic object, a list: ideal W, … … 1750 1746 1751 1747 ////////////////////////////////////////////////////////////////////////////// 1752 static 1753 proc redMax(int k,ideal J) 1748 static proc redMax(int k,ideal J) 1754 1749 "Internal procedure - no help and no example available 1755 1750 " … … 1766 1761 1767 1762 ////////////////////////////////////////////////////////////////////////////// 1768 static 1769 proc findMinor(ideal W) 1763 static proc findMinor(ideal W) 1770 1764 "Internal procedure - no help and no example available 1771 1765 " … … 1837 1831 1838 1832 ///////////////////////////////////////////////////////////////////////////// 1839 static 1840 proc indexSet(int a, int b) 1833 static proc indexSet(int a, int b) 1841 1834 "Internal procedure - no help and no example available 1842 1835 " … … 2133 2126 2134 2127 ///////////////////////////////////////////////////////////////////////////// 2135 static 2136 proc invGreater(intmat M1, intmat M2, intvec iv1, intvec iv2) 2128 static proc invGreater(intmat M1, intmat M2, intvec iv1, intvec iv2) 2137 2129 { 2138 2130 // Auxilliary procedure, BM-algorithm … … 2253 2245 2254 2246 ///////////////////////////////////////////////////////////////////////////// 2255 static 2256 proc deleteInt(intvec v,int i,int ini) 2247 static proc deleteInt(intvec v,int i,int ini) 2257 2248 { 2258 2249 //!!! Should be in kernel of Singular … … 2268 2259 } 2269 2260 ///////////////////////////////////////////////////////////////////////////// 2270 static 2271 proc concatInt(intmat A, intmat B) 2261 static proc concatInt(intmat A, intmat B) 2272 2262 { 2273 2263 //!!! Should be in kernel of Singular … … 2918 2908 } 2919 2909 ////////////////////////////////////////////////////////////////////////////// 2920 static 2921 proc CoverCenter(list BO,int b, ideal Jb) 2910 static proc CoverCenter(list BO,int b, ideal Jb) 2922 2911 { 2923 2912 //---------------------------------------------------------------------------- … … 3102 3091 } 3103 3092 ////////////////////////////////////////////////////////////////////////////// 3104 static 3105 proc SpecialCoeff(list BO,int b,poly f) 3093 static proc SpecialCoeff(list BO,int b,poly f) 3106 3094 { 3107 3095 //---------------------------------------------------------------------------- … … 3134 3122 3135 3123 ////////////////////////////////////////////////////////////////////////////// 3136 static 3137 proc DropCoeff(list BO) 3124 static proc DropCoeff(list BO) 3138 3125 "Internal procedure - no help and no example available 3139 3126 " … … 3200 3187 3201 3188 ////////////////////////////////////////////////////////////////////////////// 3202 static 3203 proc DropRedundant(list BO,list E) 3189 static proc DropRedundant(list BO,list E) 3204 3190 "Internal procedure - no help and no example available 3205 3191 " … … 3402 3388 } 3403 3389 ////////////////////////////////////////////////////////////////////////////// 3404 static 3405 proc transversalT(ideal J, list E,list #) 3390 static proc transversalT(ideal J, list E,list #) 3406 3391 "Internal procedure - no help and no example available 3407 3392 " … … 3454 3439 } 3455 3440 /////////////////////////////////////////////////////////////////////////////// 3456 static 3457 proc transversalTB(ideal J, list E,ideal V) 3441 static proc transversalTB(ideal J, list E,ideal V) 3458 3442 "Internal procedure - no help and no example available 3459 3443 " … … 3495 3479 } 3496 3480 /////////////////////////////////////////////////////////////////////////////// 3497 static 3498 proc powerI(ideal I,int n,int m) 3481 static proc powerI(ideal I,int n,int m) 3499 3482 { 3500 3483 //--- compute (n!/m)-th power of I, more efficient variant … … 3534 3517 3535 3518 /////////////////////////////////////////////////////////////////////////////// 3536 static 3537 proc Coeff(list BO, int b, list #) 3519 static proc Coeff(list BO, int b, list #) 3538 3520 "USAGE: Coeff (BO); 3539 3521 @* BO = basic object, a list: ideal W, … … 3741 3723 } 3742 3724 ////////////////////////////////////////////////////////////////////////////// 3743 static 3744 proc goodChoice(list BO, poly p) 3725 static proc goodChoice(list BO, poly p) 3745 3726 "Internal procedure - no help and no example available 3746 3727 " … … 3878 3859 } 3879 3860 ////////////////////////////////////////////////////////////////////////////// 3880 static 3881 proc max(int i,int j) 3861 static proc max(int i,int j) 3882 3862 "Internal procedure - no help and no example available 3883 3863 " … … 3888 3868 } 3889 3869 ////////////////////////////////////////////////////////////////////////////// 3890 static 3891 proc min(int i,int j) 3870 static proc min(int i,int j) 3892 3871 "Internal procedure - no help and no example available 3893 3872 " … … 4715 4694 4716 4695 ////////////////////////////////////////////////////////////////////////// 4717 static 4718 proc testRes(ideal J,list L,int loca) 4696 static proc testRes(ideal J,list L,int loca) 4719 4697 "Internal procedure - no help and no example available 4720 4698 " … … 4809 4787 } 4810 4788 ////////////////////////////////////////////////////////////////////////////// 4811 static 4812 proc testBlowUp(list BO,ideal cent,list tmpList, int j, int extra) 4789 static proc testBlowUp(list BO,ideal cent,list tmpList, int j, int extra) 4813 4790 { 4814 4791 def R=basering; … … 4863 4840 } 4864 4841 ////////////////////////////////////////////////////////////////////////////// 4865 static 4866 proc normalCross(list E,list #) 4842 static proc normalCross(list E,list #) 4867 4843 "Internal procedure - no help and no example available 4868 4844 " … … 4991 4967 } 4992 4968 ////////////////////////////////////////////////////////////////////////////// 4993 static 4994 proc normalCrossB(ideal J,list E,ideal V) 4969 static proc normalCrossB(ideal J,list E,ideal V) 4995 4970 "Internal procedure - no help and no example available 4996 4971 " … … 5067 5042 } 5068 5043 ////////////////////////////////////////////////////////////////////////////// 5069 static 5070 proc norC(list BO,ideal cent) 5044 static proc norC(list BO,ideal cent) 5071 5045 "Internal procedure - no help and no example available 5072 5046 " … … 5083 5057 } 5084 5058 ////////////////////////////////////////////////////////////////////////////// 5085 static 5086 proc specialReduce(ideal I,ideal J,poly p) 5059 static proc specialReduce(ideal I,ideal J,poly p) 5087 5060 { 5088 5061 matrix M;
Note: See TracChangeset
for help on using the changeset viewer.