# Changeset b6c31c in git

Ignore:
Timestamp:
Feb 1, 2019, 1:55:23 AM (4 years ago)
Branches:
(u'spielwiese', '828514cf6e480e4bafc26df99217bf2a1ed1ef45')
Children:
Parents:
Message:
`doc and example added`
File:
1 edited

Unmodified
Removed
• ## Singular/LIB/ncfactor.lib

 rc309bd /////////////////////////////////////////////////////////// version = "\$Id\$"; version="version ncfactor.lib 4.0.0.0 _2017 "; //\$Id\$ category="Noncommutative"; info=" @* are implemented for several types of algebras, namely @* - finitely presented (and also free) associative algebras (Letterplace subsystem) @* - G-algebras, including (q)-Weyl and (q)-shift algebras in 2n variables @* - G-algebras (Plural subsystem), including (q)-Weyl and (q)-shift algebras in 2n variables @* The determination of the best algorithm available for users input is done @* automatically in the procedure ncfactor(). PROCEDURES: ncfactor(h);               Factorization in any finitely presented algebra (incl. G-algebras) ncfactor(h);               Factorization in any finitely presented algebra (incl. G-algebra) facWeyl(h);                Factorization in the n'th Weyl algebra facFirstWeyl(h);           Factorization in the first Weyl algebra - There exists at least one variable in the ring. NOTE: - works for both PLURAL and LETTERPLACE subsystems - Every entry of the output list is a list with factors for one possible factorization. The first factor is always a constant (1, if no nontrivial constant { "EXAMPLE:";echo=2; // first, an example with PLURAL def R = makeUsl2(); setring(R); poly p = e^3*f+e^2*f^2-e^3+e^2*f+2*e*f^2-3*e^2*h-2*e*f*h-8*e^2 +e*f+f^2-4*e*h-2*f*h-7*e+f-h; ncfactor(p); kill R; // an example with LETTERPLACE LIB "freegb.lib"; ring r = 0,(x,y),Dp; def R = freeAlgebra(r,5); setring(R); poly p = x*y*x - x; ncfactor(p); }
Note: See TracChangeset for help on using the changeset viewer.