#11878: Proper implementation of quotients of g-algebras
---------------------------+------------------------------------------------
   Reporter:  SimonKing    |          Owner:  AlexGhitza                 
       Type:  enhancement  |         Status:  new                        
   Priority:  major        |      Milestone:  sage-4.7.2                 
  Component:  algebra      |       Keywords:  g-algebra Singular quotient
Work_issues:               |       Upstream:  N/A                        
   Reviewer:               |         Author:                             
     Merged:               |   Dependencies:  #4539                      
---------------------------+------------------------------------------------

Comment(by SimonKing):

 I think I start to understand. The function `initS` initialises a Gröbner
 strategy in Singular, and in principle it can take an argument for the
 defining ideal of a quotient ring. However, it is currently used in the
 form `initS(i, NULL, self._strat)`, hence, the defining ideal is `NULL`.
 So, that's where the fix should happen.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11878#comment:3>
Sage <http://www.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