• SINGULAR

  • Referenced in 1508 articles [sw00866]
  • variety of baserings. The baserings are polynomial rings over a field (e.g., finite fields ... algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect to an ideal...
  • PANDA

  • Referenced in 33 articles [sw01122]
  • smeared stiffener). Several types of general and local buckling modes are included as constraints ... instability with either stringers or rings smeared out, local skin buckling, local crippling of stiffener...
  • CodepthThree

  • Referenced in 5 articles [sw12131]
  • Local rings of embedding codepth 3: a classification algorithm. Let I be an ideal ... regular local ring Q with residue field k. The length of the minimal free resolution ... provides for a classification of such local rings. We describe the Macaulay2 package CodepthThree that ... implements an algorithm for classifying a local ring as above by computation...
  • Inverse-syst

  • Referenced in 9 articles [sw20987]
  • correspondence and other related constructions for local rings...
  • GND.lib

  • Referenced in 7 articles [sw27230]
  • presented for one dimensional Cohen-Macaulay local rings...
  • olga.lib

  • Referenced in 7 articles [sw22197]
  • investigate the arithmetics of the localized ring S−1R from both theoretical and practical points...
  • ChainComplexOperations

  • Referenced in 2 articles [sw28278]
  • codimension c over a regular local ring S, then the sum of the ranks ... least 2c. Walker’s proof works for rings where 2 is invertible, and in this ... regular local ring of dimension d with residue field k, then chi2...
  • TorAlgebra

  • Referenced in 2 articles [sw31577]
  • Macaulay2 package TorAlgebra: Classification of local rings based on multiplication in homology...
  • LocalizeRingForHomalg

  • Referenced in 2 articles [sw11238]
  • LocalizeRingForHomalg, localize commutative rings at maximal ideals. The objective of this software presentation ... finitely presented modules over a commutative ring $R$ localized at a maximal ideal $m$. This...
  • GVW

  • Referenced in 1 article [sw35037]
  • local ring is a package for computing standard basis by extending GVW algorithm for local...
  • Bruns

  • Referenced in 1 article [sw27123]
  • module M over a regular local ring S containing a field (the field is conjecturally...
  • graal.lib

  • Referenced in 1 article [sw13975]
  • computational treatment of localizations at prime ideals and their associated graded rings based ... only does it construct a ring isomorphic to the localization of an affine coordinate ring ... exploit the topology in the localization by computing first and foremost ... associated graded ring and lifting the result to the localization afterwards. Features include a check...
  • MEALS

  • Referenced in 3 articles [sw17455]
  • evolutionary algorithm with local search for solving the bi-objective ring star problem. In this ... ring to nodes in the ring. The algorithm preserves the general characteristics of a multiobjective ... evolutionary algorithm and embeds a local search procedure which deals with multiple objectives. The encoding ... Salesman Problem in order to compute the ring associated with the chromosome. This allows...
  • PruneComplex

  • Referenced in 0 articles [sw36760]
  • Pruning chain complexes over polynomial and local rings. This package includes various methods for pruning ... chain complexes over polynomial and local rings. In particular, in the local or graded case...
  • StronglyStableIdeals

  • Referenced in 11 articles [sw27084]
  • computational applications. In the case of polynomial rings with coefficients in a field of characteristic ... they can be used to understand its local structure. The main feature of the this ... strongly stable ideals in a given polynomial ring with a given Hilbert polynomial...
  • Quasidegrees

  • Referenced in 2 articles [sw30289]
  • graded polynomial ring. This package also computes the quasidegree sets of local cohomology modules supported ... modules over a ℤd-graded polynomial ring. The motivation for this package comes from ... quasidegree sets of non-top local cohomology modules supported at the maximal irrelevant ideal...
  • Berlekamp Zassenhaus

  • Referenced in 9 articles [sw28596]
  • then performs computations in the integer ring modulo p^k, where both ... algorithm using Isabelle’s recent addition of local type definitions. Through experiments we verify that...
  • symmChainGens

  • Referenced in 8 articles [sw06689]
  • ambient rings for these ideals are polynomial rings which are increasing in (Krull) dimension. Thus ... action of the group”, these chains locally stabilize. We also give an algorithm, which...