• 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 zero-dimensional ideal. A library for computing ... associated primes and the radical of a zero-dimensional 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 C-library ... 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]
  • HOM4PS-2.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...