# 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 | + | 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. |

− | |||

<itemize> | <itemize> | ||

Line 24: | Line 23: | ||

</description> | </description> | ||

<seealso> | <seealso> | ||

− | |||

<see>Introduction to CoCoAServer</see> | <see>Introduction to CoCoAServer</see> | ||

− | <see>Weyl. | + | <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