Home
last modified time | relevance | path

Searched refs:syzygies (Results 1 – 25 of 57) sorted by relevance

123

/dports/math/reduce/Reduce-svn5758-src/packages/cali/
H A Dintf.red59 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 Dcali.hlp20 for the computation of syzygies. This implementation is also applicable to
28 \item computing syzygies, resolutions and (graded) Betti numbers,
H A Dres.red64 a:=list(m); u:=syzygies!* m;
66 << m:=u; u:=syzygies!* m; d:=d-1;
H A Dgroeb.red190 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 Dscripts.red324 r1:=ring_define(vars,list u,'revlex,u); n:=syzygies!* m;
341 car groeb_minimize(m,syzygies!* m);
H A Dmatop.red224 << terpri(); write" Compute syzygies"; terpri() >>;
228 symbolic procedure syzygies!* bas;
/dports/math/reduce/Reduce-svn5758-src/doc/manual2/
H A Dcali.tex20 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 DGradedRingForHomalg.gi29 HOMALG_IO.Pictograms.LinearSyzygiesGenerators := "lsy"; ## linear syzygies
H A DGradedRingBasic.gi135 ## <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 DGaussBasic.gi104 ## 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 Dsyz3.cc650 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 Dnoro.sing608 // 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 Dsyzygy.gi40 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 DPackageInfo.g123 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 DHomalgRingRelations.gd88 ## Check if the &homalg; set of relations <A>rel</A> has zero syzygies.
H A DService.gi994 ## 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 DHomalgRelations.gd88 ## 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 DBasicFunctors.gi128 ## 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 DPackageInfo.g144 …evaluated matrices", "clever operations for matrices", "submodule membership problem", "syzygies" ]
/dports/math/reduce/Reduce-svn5758-src/packages/crack/
H A Dcrack.tst363 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 Dcrack.tst363 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 Ddeform_lib.tex139 @*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 DPackageInfo.g234 Keywords := [ "rings", "ideal membership problem", "syzygies", "homalgTable" ]
/dports/textproc/texi2html/texi2html-5.0/test/singular_manual/
H A Dmath.tex181 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 DBettiTable.gi219 …elif twist = row_range[nr_rows] then ## we might have computed the syzygies up to some degree boun…

123