
Gfan
 Referenced in 123 articles
[sw04698]
 tropical hypersurfaces and tropical varieties of prime ideals. In addition to the above core functions...

graal.lib
 Referenced in 1 article
[sw13975]
 library for computing in localizations at prime ideals. ”graal.lib” is a Singular library ... computational treatment of localizations at prime ideals and their associated graded rings based ... affine coordinate ring at a prime ideal, the algorithms in this library aim to exploit...

StdPairs
 Referenced in 2 articles
[sw42042]
 ring. Moreover, StdPairs provides the associated prime ideals, the corresponding multiplicities, and an irredundant irreducible...

ffmodstd
 Referenced in 5 articles
[sw27228]
 variable z so that J is an ideal in Q(Tz)[X]. For a suitable ... distinct primes), so that K is an ideal in Q(z)[X]. For such...

assprimeszerodim.lib
 Referenced in 1 article
[sw33614]
 SINGULAR Library assprimeszerodim.lib: associated primes of a zerodimensional ideal. A library for computing ... associated primes and the radical of a zerodimensional ideal in the polynomial ring over...

ResClasses
 Referenced in 0 articles
[sw21198]
 semi)localizations at one or several prime ideals as well as for polynomial rings...

FiniteFieldExperiments.M2
 Referenced in 2 articles
[sw34790]
 field experiments for explicit and implicitly given ideals and parameter spaces ( FiniteFieldExperiments.m2, based ... isolated (polynomial) system solutions over a prime field to an extension field of rationals ( padicLift.m2...

fgb_sage
 Referenced in 1 article
[sw40833]
 interface of FGb and polynomials and ideals in Sage. FGb is a Clibrary ... Gröbner bases over ℚ and finite prime fields; parallel computations (over finite fields); elimination/block orders...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

GAP
 Referenced in 3222 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Ginv
 Referenced in 8 articles
[sw00350]
 Specialized computer algebra system GINV. The computer algebra...

gmp
 Referenced in 289 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HOM4PS
 Referenced in 83 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

Isabelle
 Referenced in 721 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KANT/KASH
 Referenced in 157 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

Kronecker
 Referenced in 119 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

LAPACK
 Referenced in 1713 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...