#6596: [with patch, needs review] Singular refactoring and Groebner Strategy
objects
---------------------------------+------------------------------------------
 Reporter:  malb                 |       Owner:  malb                           
                       
     Type:  enhancement          |      Status:  new                            
                       
 Priority:  major                |   Milestone:  sage-4.1.1                     
                       
Component:  commutative algebra  |    Keywords:  singular                       
                       
 Reviewer:                       |      Author:  Martin Albrecht, Michael 
Brickenstein, Hans Schönemann
   Merged:                       |  
---------------------------------+------------------------------------------

Comment(by malb):

 Groebner Strategy in action

 {{{
 sage: P = PolynomialRing(QQ,6,'x')
 sage: I = sage.rings.ideal.Cyclic(P)
 sage: J = Ideal(I.groebner_basis())
 sage: J.ngens()
 45
 }}}

 {{{
 sage: f = P.random_element()
 }}}

 The usual call to {{{kNF}}}:

 {{{
 sage: %timeit f.reduce(J.gens())
 1000 loops, best of 3: 1.11 ms per loop
 }}}

 Using the {{{GroebnerStrategy}}} object.

 {{{
 sage: %timeit J.reduce(f)
 100000 loops, best of 3: 9.37 µs per loop
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/6596#comment:2>
Sage <http://sagemath.org/>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to 
[email protected]
For more options, visit this group at 
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---

Reply via email to