Changeset 6fcbe89 in git for Singular/LIB/schreyer.lib
- Timestamp:
- Jan 28, 2015, 6:02:35 PM (9 years ago)
- Branches:
- (u'spielwiese', 'ec94ef7a30b928574c0c3daf41f6804dff5f6b69')
- Children:
- d63ce7ce8ca1e43c3a30f66d65b8d0f6d14f99fb
- Parents:
- 6bd53ba88f906b9abf68e6983aac4cf495d7631c
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Singular/LIB/schreyer.lib
r6bd53ba r6fcbe89 2188 2188 static proc mod_init() 2189 2189 { 2190 int @DEBUG = 0; // !system("with", "ndebug"); // "om_ndebug?: ", system("with", "om_ndebug"); 2191 2192 if( @DEBUG ) { listvar(Top); } 2193 2194 if( !defined(SRES) ) 2195 { 2196 load("syzextra.so"); 2197 2198 if( @DEBUG ){ listvar(Syzextra); } 2199 2200 // exportto(Top, Syzextra::ClearContent); // exportto(Top, Syzextra::ClearDenominators); exportto(Schreyer, Syzextra::noop); 2201 // exportto(Schreyer, Syzextra::leadrawexp); // exportto(Schreyer, Syzextra::ISUpdateComponents); 2202 // exportto(Schreyer, Syzextra::GetAMData);// exportto(Schreyer, Syzextra::SetSyzComp); 2203 // exportto(Schreyer, Syzextra::MakeSyzCompOrdering); // exportto(Schreyer, Syzextra::reduce_syz);// exportto(Schreyer, Syzextra::p_Content); 2204 2205 // exportto(Schreyer, Syzextra::DetailedPrint); 2206 // exportto(Schreyer, Syzextra::m2_end); 2207 // exportto(Schreyer, Syzextra::leadmonomial); 2208 // exportto(Schreyer, Syzextra::leadcomp); 2209 // exportto(Schreyer, Syzextra::SetInducedReferrence); 2210 // exportto(Schreyer, Syzextra::GetInducedData); 2211 // exportto(Schreyer, Syzextra::MakeInducedSchreyerOrdering); 2212 // exportto(Schreyer, Syzextra::idPrepare); 2213 // exportto(Schreyer, Syzextra::ProfilerStart); exportto(Schreyer, Syzextra::ProfilerStop); 2214 // exportto(Schreyer, Syzextra::NumberStatsInit); exportto(Schreyer, Syzextra::NumberStatsPrint); 2215 // exportto(Schreyer, Syzextra::Tail); 2216 // exportto(Schreyer, Syzextra::ComputeLeadingSyzygyTerms); 2217 // exportto(Schreyer, Syzextra::Compute2LeadingSyzygyTerms); 2218 // exportto(Schreyer, Syzextra::Sort_c_ds); 2219 // exportto(Schreyer, Syzextra::FindReducer); 2220 // exportto(Schreyer, Syzextra::ReduceTerm); 2221 // exportto(Schreyer, Syzextra::TraverseTail); 2222 // exportto(Schreyer, Syzextra::SchreyerSyzygyNF); 2223 // exportto(Schreyer, Syzextra::ComputeSyzygy); 2224 // exportto(Schreyer, Syzextra::ComputeResolution); 2225 2190 load("syzextra.so"); 2191 2192 if( 1 ) // !defined(Syzextra) ) 2193 { 2226 2194 // TODO: SSres - return SRESOLUTION? 2227 2195 newstruct("SRES","ring r,resolution rsltn"); // http://www.singular.uni-kl.de/Manual/latest/sing_179.htm#SEC218 2228 // system("install","SRES","string",SRES_string, 1);2229 2196 system("install","SRES","print",SRES_print, 1); 2230 2197 system("install","SRES","betti",SRES_betti1, 1); // http://www.singular.uni-kl.de/Manual/latest/sing_260.htm#SEC299 2231 2198 system("install","SRES","betti",SRES_betti2, 2); // http://www.singular.uni-kl.de/Manual/latest/sing_260.htm#SEC299 2232 2199 system("install","SRES","minres",SRES_minres, 1); // http://www.singular.uni-kl.de/Manual/latest/sing_344.htm#SEC383 2233 system("install","SRES","list", SRES_list, 1); // will never work :((( 2234 2235 // exportto(Top, s_res); // Syzextra::GetInducedData); 2236 2237 if( @DEBUG ) { listvar(Top); listvar(Schreyer); } 2200 // system("install","SRES","list", SRES_list, 1); // will never work :((( 2201 // system("install","SRES","string",SRES_string, 1); 2238 2202 } 2239 2203 }
Note: See TracChangeset
for help on using the changeset viewer.