Changeset b6c31c in git
 Timestamp:
 Feb 1, 2019, 1:55:23 AM (4 years ago)
 Branches:
 (u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
 Children:
 ad62229092fc8ebe6427ffe920f831abe60d4619
 Parents:
 c309bd9ad3a2f9f7486a6f07d6981cb894b5aae2
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Singular/LIB/ncfactor.lib
rc309bd rb6c31c 1 1 /////////////////////////////////////////////////////////// 2 version = "$Id$";2 version="version ncfactor.lib 4.0.0.0 _2017 "; //$Id$ 3 3 category="Noncommutative"; 4 4 info=" … … 10 10 @* are implemented for several types of algebras, namely 11 11 @*  finitely presented (and also free) associative algebras (Letterplace subsystem) 12 @*  Galgebras , including (q)Weyl and (q)shift algebras in 2n variables12 @*  Galgebras (Plural subsystem), including (q)Weyl and (q)shift algebras in 2n variables 13 13 @* The determination of the best algorithm available for users input is done 14 14 @* automatically in the procedure ncfactor(). … … 18 18 19 19 PROCEDURES: 20 ncfactor(h); Factorization in any finitely presented algebra (incl. Galgebra s)20 ncfactor(h); Factorization in any finitely presented algebra (incl. Galgebra) 21 21 facWeyl(h); Factorization in the n'th Weyl algebra 22 22 facFirstWeyl(h); Factorization in the first Weyl algebra … … 11066 11066  There exists at least one variable in the ring. 11067 11067 NOTE: 11068  works for both PLURAL and LETTERPLACE subsystems 11068 11069  Every entry of the output list is a list with factors for one possible factorization. 11069 11070 The first factor is always a constant (1, if no nontrivial constant … … 11149 11150 { 11150 11151 "EXAMPLE:";echo=2; 11152 // first, an example with PLURAL 11151 11153 def R = makeUsl2(); 11152 11154 setring(R); 11153 11155 poly p = e^3*f+e^2*f^2e^3+e^2*f+2*e*f^23*e^2*h2*e*f*h8*e^2 11154 11156 +e*f+f^24*e*h2*f*h7*e+fh; 11157 ncfactor(p); 11158 kill R; 11159 // an example with LETTERPLACE 11160 LIB "freegb.lib"; 11161 ring r = 0,(x,y),Dp; 11162 def R = freeAlgebra(r,5); setring(R); 11163 poly p = x*y*x  x; 11155 11164 ncfactor(p); 11156 11165 }
Note: See TracChangeset
for help on using the changeset viewer.