application: ideal

This application allows to define ideals and enables other applications to use these. For example we can compute the tropical variety of an ideal via gfan in the application 'tropical'. Using this application with the bundled extension Singular adds a lot more commutative algebra power.

imports from: common

Objects

User Functions

  •  

    With these clients you can create ideals belonging to various parameterized families which occur frequently in comumutative algebra.

    •  
      pluecker_ideal (d, n) → Ideal

      Generates the ideal of all Grassmann-Plücker relations of dxd minors of an dxn matrix. For the algorithm see Sturmfels: Algorithms in invariant theory, Springer, 2nd ed., 2008

      Parameters
      Intd
      Intn
      Returns
      Ideal
      the Grassmann-Plücker ideal
  •  

    Functions, methods and objects and attached from/to Singular.

    Contained in extension singular.

Property Types

  •  

    Functions, methods and objects and attached from/to Singular.

    Contained in extension singular.
    •  
      SingularIdeal

      An intermediate object wrapping the ideal on the Singular side and providing its methods.