Difference between revisions of "ApCoCoA-1:Weyl.CharI"

From ApCoCoAWiki
(New page: <command> <title>Weyl.CharI</title> <short_description>Computes the characteristic ideal of a <tt>D</tt>-ideal I in Weyl algebra <tt>A_n</tt>.</short_description> <syntax> Weyl.C...)
 
Line 8: Line 8:
 
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them.
 
<em>Please note:</em> The function(s) explained on this page is/are using the <em>ApCoCoAServer</em>. You will have to start the ApCoCoAServer in order to use it/them.
 
<par/>
 
<par/>
−
This function omputes the characteristic ideal, InIw(I,[0,e]), of a D-ideal I the Weyl algebra D. This is an ideal in the commutative polynomial ring in 2n variables. The zeroset of this ideal in affine 2n-space is called characteristic variety of I. Due to limitations in CoCoA4, [0,e] is replaced by [1,10000]. This will be modified later in the future release with CoCoA5.
+
This function computes the characteristic ideal, InIw(I,[0,e]), of a D-ideal I the Weyl algebra D. This is an ideal in the commutative polynomial ring in 2n variables. The zeroset of this ideal in affine 2n-space is called characteristic variety of I. Due to limitations in CoCoA4, [0,e] is replaced by [1,10000]. This will be modified later in the future release with CoCoA5.
−
This function computes a Groebner Basis for an Ideal <tt>I = (f_1,f_2, ..., f_r)</tt> where every generator <tt>f_i</tt> should be a Weyl polynomial in Normal form.
 
  
 
<itemize>
 
<itemize>
Line 24: Line 23:
 
   </description>
 
   </description>
 
     <seealso>
 
     <seealso>
−
      <see>Introduction to Groebner Basis in CoCoA</see>
 
 
       <see>Introduction to CoCoAServer</see>
 
       <see>Introduction to CoCoAServer</see>
−
       <see>Weyl.WNormalForm</see>
+
       <see>Weyl.InIw</see>
 
     </seealso>
 
     </seealso>
 
     <types>
 
     <types>

Revision as of 13:57, 7 July 2009

Weyl.CharI

Computes the characteristic ideal of a D-ideal I in Weyl algebra A_n.

Syntax

Weyl.CharI(I:IDEAL):IDEAL

Description

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use it/them.

This function computes the characteristic ideal, InIw(I,[0,e]), of a D-ideal I the Weyl algebra D. This is an ideal in the commutative polynomial ring in 2n variables. The zeroset of this ideal in affine 2n-space is called characteristic variety of I. Due to limitations in CoCoA4, [0,e] is replaced by [1,10000]. This will be modified later in the future release with CoCoA5.

  • @param I An ideal in the Weyl algebra.

  • @return Characteristic ideal of the given ideal.

Example

Example

See also

Introduction to CoCoAServer

Weyl.InIw




Retrieved from "http://apcocoa.uni-passau.de/wiki/index.php?title=ApCoCoA-1:Weyl.CharI&oldid=9726"