Changeset 0610f0e in git for Singular/LIB/ratgb.lib


Ignore:
Timestamp:
May 14, 2010, 6:55:39 PM (14 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')
Children:
c6a37e587b929939b8736b96653178b2f7a6aef9
Parents:
f55c950f86cfcb5fbb7d28e7ef4ab01c06dcd337
Message:
format

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

Legend:

Unmodified
Added
Removed

  • Singular/LIB/ratgb.lib

    rf55c95 r0610f0e  
    11//////////////////////////////////////////////////////////////////////////////
    22version="$Id$";
    3 category="Noncommutative";                             
     3category="Noncommutative";
    44info="
    55LIBRARY: ratgb.lib  Groebner bases in Ore localizations of noncommutative G-algebras
    66AUTHOR: Viktor Levandovskyy,     levandov@risc.uni-linz.ac.at
    77
    8 THEORY: Let A be an operator algebra with R = K[x1,.,xN] as subring. 
    9 The operators are usually denoted by {d1,..,dM}. 
    10 @* Assume, that A is a G-algebra, then the set S=R-{0} is multiplicatively closed Ore set in A. 
    11 @* That is, for any s in S and a in A, there exist t in S and b in A, such that sa=bt. 
    12 @* In other words, one can transform any left fraction into the right fraction. The algebra A_S is called an Ore localization of A with respect to S. 
     8THEORY: Let A be an operator algebra with R = K[x1,.,xN] as subring.
     9The operators are usually denoted by {d1,..,dM}.
     10@* Assume, that A is a G-algebra, then the set S=R-{0} is multiplicatively closed Ore set in A.
     11@* That is, for any s in S and a in A, there exist t in S and b in A, such that sa=bt.
     12@* In other words, one can transform any left fraction into the right fraction. The algebra A_S is called an Ore localization of A with respect to S.
    1313
    1414This library provides Groebner basis procedure for A_S, performing polynomial (that is fraction-free) computations only.
    … …  
    1818
    1919SUPPORT: SpezialForschungsBereich F1301 of the Austrian FWF and
    20 @* Transnational Access Program of RISC Linz, Austria 
     20@* Transnational Access Program of RISC Linz, Austria
    2121"
    2222
Note: See TracChangeset for help on using the changeset viewer.