/dports/math/reduce/Reduce-svn5758-src/packages/cali/ |
H A D | intf.red | 59 intf!=properties:='(basis ring gbasis syzygies resolution hs 240 if not get(m,'syzygies) then put(m,'syzygies,cadr c); 244 put('syzygies,'psopfn,'intf!=syzygies); 245 symbolic procedure intf!=syzygies m; 248 if (c:=get(m,'syzygies)) then return dpmat_2a c; 249 c:=syzygies!* c1; 250 put(m,'syzygies,c);
|
H A D | cali.hlp | 20 for the computation of syzygies. This implementation is also applicable to 28 \item computing syzygies, resolutions and (graded) Betti numbers,
|
H A D | res.red | 64 a:=list(m); u:=syzygies!* m; 66 << m:=u; u:=syzygies!* m; d:=d-1;
|
H A D | groeb.red | 190 ccrit:=(not comp_syz) and (c<2); % don't reduce main syzygies 246 % --- no syzygies are to be computed 322 ccrit:=(not comp_syz) and (c<2); % don't reduce main syzygies 415 % Delete main syzygies. 547 % from bas using syzygies from syz containing unit entries.
|
H A D | scripts.red | 324 r1:=ring_define(vars,list u,'revlex,u); n:=syzygies!* m; 341 car groeb_minimize(m,syzygies!* m);
|
H A D | matop.red | 224 << terpri(); write" Compute syzygies"; terpri() >>; 228 symbolic procedure syzygies!* bas;
|
/dports/math/reduce/Reduce-svn5758-src/doc/manual2/ |
H A D | cali.tex | 20 for the computation of syzygies. This implementation is also applicable to 28 \item computing syzygies, resolutions and (graded) Betti numbers,
|
/dports/math/gap/gap-4.11.0/pkg/GradedRingForHomalg-2020.01.02/gap/ |
H A D | GradedRingForHomalg.gi | 29 HOMALG_IO.Pictograms.LinearSyzygiesGenerators := "lsy"; ## linear syzygies
|
H A D | GradedRingBasic.gi | 135 ## <Returns>a distinguished basis of the syzygies of the argument</Returns>
|
/dports/math/gap/gap-4.11.0/pkg/GaussForHomalg-2019.09.02/gap/ |
H A D | GaussBasic.gi | 104 ## This returns the row syzygies of the &homalg; 122 ## The row syzygies of <A>M</A> are returned,
|
/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
H A D | syz3.cc | 650 static void redOnePair(SSet resPairs,int itso,int l, ideal syzygies, in redOnePair() argument 668 int syz_place=IDELEMS(syzygies); in redOnePair() 920 if (syz_place>=IDELEMS(syzygies)) in redOnePair() 922 pEnlargeSet(&syzygies->m,IDELEMS(syzygies),16); in redOnePair() 923 IDELEMS(syzygies) += 16; in redOnePair() 925 syzygies->m[syz_place] = tso.syz; in redOnePair() 927 pNorm(syzygies->m[syz_place]); in redOnePair() 938 static BOOLEAN redPairs(SSet resPairs,int l_pairs, ideal syzygies, in redPairs() argument 966 redOnePair(resPairs,i,l_pairs,syzygies,crit_comp,syzstr,index, in redPairs() 1005 ideal syzygies=idInit(16,syzstr->res[index]->rank+1); in kosz_std() local [all …]
|
/dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/syzextra/ |
H A D | noro.sing | 608 // All syzygies? 642 ERROR("NORO was wrong: SYZ are NOT syzygies of I!"); 651 ERROR("NORO was wrong: too much syzygies found!!!"); 656 ERROR("NORO was wrong: too few syzygies found!!!");
|
/dports/math/gap/gap-4.11.0/pkg/hap-1.25/lib/Homology/ |
H A D | syzygy.gi | 40 Print("ERROR: Syzygy() is so far only implemented for 1-, 2- and 3-syzygies. \n");
|
/dports/math/gap/gap-4.11.0/pkg/LocalizeRingForHomalg-2019.09.02/ |
H A D | PackageInfo.g | 123 Keywords := [ "homological algebra", "local ring", "submodule membership problem", "syzygies", "Mor…
|
/dports/math/gap/gap-4.11.0/pkg/MatricesForHomalg-2020.01.02/gap/ |
H A D | HomalgRingRelations.gd | 88 ## Check if the &homalg; set of relations <A>rel</A> has zero syzygies.
|
H A D | Service.gi | 994 ## The matrix of row syzygies <C>SyzygiesGeneratorsOfRows</C>( <A>M</A> ) is a matrix whose ro… 1109 ## The matrix of column syzygies <C>SyzygiesGeneratorsOfColumns</C>( <A>M</A> ) is a matrix wh… 1226 ## The matrix of <E>relative</E> row syzygies <C>SyzygiesGeneratorsOfRows</C>( <A>M</A>, <A>M2… 1309 ## since we first compute the syzygies matrix of 1346 ## The matrix of <E>relative</E> column syzygies <C>SyzygiesGeneratorsOfColumns</C>( <A>M</A>,… 1429 ## since we first computes the syzygies matrix of 1470 …IndependentUnitPositions" Label="for matrices"/> applied to the matrix of row syzygies of <M>B</M>, 1701 …ependentUnitPositions" Label="for matrices"/> applied to the matrix of column syzygies of <M>B</M>, 1932 …IndependentUnitPositions" Label="for matrices"/> applied to the matrix of row syzygies of <M>C</M>, 2046 …ependentUnitPositions" Label="for matrices"/> applied to the matrix of column syzygies of <M>C</M>,
|
/dports/math/gap/gap-4.11.0/pkg/Modules-2019.09.02/gap/ |
H A D | HomalgRelations.gd | 88 ## Check if the &homalg; set of relations <A>rel</A> has zero syzygies.
|
/dports/math/gap/gap-4.11.0/pkg/homalg-2019.09.01/gap/ |
H A D | BasicFunctors.gi | 128 ## in case of modules: this involves computing relative syzygies: 131 ## in case of f.p. modules: this involves a second syzygies computation:
|
/dports/math/gap/gap-4.11.0/pkg/MatricesForHomalg-2020.01.02/ |
H A D | PackageInfo.g | 144 …evaluated matrices", "clever operations for matrices", "submodule membership problem", "syzygies" ]
|
/dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
H A D | crack.tst | 363 is the computation of syzygies, i.e. identities between 366 laws of syzygies", J. Symb. Comp. 35, no 5 (2003), 499-526 368 it is shown how the knowledge of syzygies of a linear PDE system
|
/dports/math/reduce/Reduce-svn5758-src/xmpl/ |
H A D | crack.tst | 363 is the computation of syzygies, i.e. identities between 366 laws of syzygies", J. Symb. Comp. 35, no 5 (2003), 499-526 368 it is shown how the knowledge of syzygies of a linear PDE system
|
/dports/textproc/texi2html/texi2html-5.0/test/singular_manual/d2t_singular/ |
H A D | deform_lib.tex | 139 @*Ls = giving the lifting of syzygies Lo=syz(Mo), 183 @expansion{} // Matrix of the deformed module is Ms and lifted syzygies are Ls.
|
/dports/math/gap/gap-4.11.0/pkg/RingsForHomalg-2019.12.08/ |
H A D | PackageInfo.g | 234 Keywords := [ "rings", "ideal membership problem", "syzygies", "homalgTable" ]
|
/dports/textproc/texi2html/texi2html-5.0/test/singular_manual/ |
H A D | math.tex | 181 Then the {\bf module of syzygies} (or {\bf 1st syzygy module}, {\bf module of relations}) of $I$, s… 186 Then the @strong{module of syzygies} (or @strong{1st syzygy module}, @strong{module of relations}) … 194 of syzygies of the 979 implementation of standard bases and syzygies in @sc{Singular}. 985 syzygies. Arch. d. Math. 63(1995)
|
/dports/math/gap/gap-4.11.0/pkg/GradedModules-2020.01.02/gap/ |
H A D | BettiTable.gi | 219 …elif twist = row_range[nr_rows] then ## we might have computed the syzygies up to some degree boun…
|