Changeset d41540 in git for Singular/LIB/dmodapp.lib


Ignore:
Timestamp:
Apr 9, 2009, 2:04:42 PM (15 years ago)
Author:
Frank Seelisch <seelisch@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
360d44ebd8adf880d631138132cbbbbb75737c6a
Parents:
ad711e62aa4616b2021988701854eaa06e60a109
Message:
removed some typos etc. prior to release 3-1-0


git-svn-id: file:///usr/local/Singular/svn/trunk@11661 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed

  • Singular/LIB/dmodapp.lib

    rad711e6 rd41540  
    11//////////////////////////////////////////////////////////////////////////////
    2 version="$Id: dmodapp.lib,v 1.25 2009-03-11 09:43:29 Singular Exp $";
     2version="$Id: dmodapp.lib,v 1.26 2009-04-09 12:04:41 seelisch Exp $";
    33category="Noncommutative";
    44info="
    … …  
    1616@* cyclic modules. The procedures for the localization are DLoc,SDLoc and DLoc0.
    1717@*
    18 @* - annihilator in Weyl algebra of a given polynomial F from R as well as
     18@* - annihilator in D of a given polynomial F from R as well as
    1919@* of a given rational function G/F from Quot(R). These can be computed via
    2020@* procedures annPoly resp. annRat.
    … …  
    960960"USAGE:  annRat(g,f);  f, g polynomials
    961961RETURN:  ring
    962 PURPOSE: compute the annihilator of the rational function g/f in Weyl algebra
     962PURPOSE: compute the annihilator of the rational function g/f in the Weyl algebra D
    963963NOTE: activate the output ring with the @code{setring} command.
    964964@*      In the output ring, the ideal LD (in Groebner basis) is the annihilator.
    … …  
    10951095"USAGE:  annPoly(f);  f a poly
    10961096RETURN:  ring
    1097 PURPOSE: compute the complete annihilator ideal of f in Weyl algebra
     1097PURPOSE: compute the complete annihilator ideal of f in the Weyl algebra D
    10981098NOTE:  activate the output ring with the @code{setring} command.
    10991099@*   In the output ring, the ideal LD (in Groebner basis) is the annihilator.
    … …  
    12801280"USAGE:  insertGenerator(id,p[,k]);  id an ideal/module, p a poly/vector, k an optional int
    12811281RETURN:  same as id
    1282 PURPOSE: insert an element into an ideal or a module
     1282PURPOSE: inserts p into the first argument at k-th index position and returns the enlarged object
    12831283NOTE:    If k is given, p is inserted at position k, otherwise (and by default),
    12841284@*       p is inserted at the beginning.
    … …  
    13571357"USAGE:  deleteGenerator(id,k);  id an ideal/module, k an int
    13581358RETURN:  same as id
    1359 PURPOSE: deletes the k-th element from an ideal or a module
     1359PURPOSE: deletes the k-th generator from the first argument and returns the altered object
    13601360EXAMPLE: example insertGenerator; shows examples
    13611361"
    … …  
    17971797"USAGE:  bFactor(f);  f poly
    17981798RETURN:  list
    1799 PURPOSE: computes the roots of irreducible factors of an univariate poly
     1799PURPOSE: tries to compute the roots of a univariate poly f
    18001800NOTE:    The output list consists of two or three entries:
    1801 @*       the roots of f as ideal, their multiplicities as intvec, and,
     1801@*       roots of f as an ideal, their multiplicities as intvec, and,
    18021802@*       if present, a third one being the product of all irreducible factors
    18031803@*       of degree greater than one, given as string.
Note: See TracChangeset for help on using the changeset viewer.