#4622: Bug in variety()
---------------------------------+------------------------------------------
 Reporter:  SimonKing            |        Owner:  malb      
     Type:  defect               |       Status:  new       
 Priority:  major                |    Milestone:  sage-3.2.1
Component:  commutative algebra  |   Resolution:            
 Keywords:  variety triang.lib   |  
---------------------------------+------------------------------------------
Comment (by mabshoff):

 Another, simpler example by Alex:
 {{{
 ----------------------------------------------------------------------
 | Sage Version 3.2, Release Date: 2008-11-20                         |
 | Type notebook() for the GUI, and license() for information.        |
 ----------------------------------------------------------------------
 sage: R.<w>= PolynomialRing(QQ,1)
 sage: H=w
 sage: I= ideal(H); I
 Ideal (w) of Multivariate Polynomial Ring in w over Rational Field
 sage: I.variety()
 ---------------------------------------------------------------------------
 TypeError                                 Traceback (most recent call
 last)
 /Users/arai021/<ipython console> in <module>()
 /Applications/sage/local/lib/python2.5/site-packages/sage/rings/
 polynomial/multi_polynomial_ideal.pyc in variety(self, ring)
    1528         P = self.ring()
    1529         if ring is not None: P = P.change_ring(ring)
 -> 1530         T = self.triangular_decomposition
 ('singular:triangLfak')
    1531
    1532         V = []
 /Applications/sage/local/lib/python2.5/site-packages/sage/rings/
 polynomial/multi_polynomial_ideal.pyc in triangular_decomposition
 (self, algorithm, singular)
     740         P = self.ring()
     741
 --> 742         is_groebner = self.basis_is_groebner()
     743
     744         # make sure to work w.r.t. 'lex'
 /Applications/sage/local/lib/python2.5/site-packages/sage/rings/
 polynomial/multi_polynomial_ideal.pyc in basis_is_groebner(self,
 singular)
    1237         self.ring()._singular_().set_ring()
    1238
 -> 1239         F = singular( self.gens(), "module" )
    1240         LTF = singular( [f.lt() for f in self.gens()] ,
 "module" )
    1241
 /Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
 singular.pyc in __call__(self, x, type)
     591             x = str(x)[1:-1]
     592
 --> 593         return SingularElement(self, type, x, False)
     594
     595
 /Applications/sage/local/lib/python2.5/site-packages/sage/interfaces/
 singular.pyc in __init__(self, parent, type, value, is_name)
    1007             except (RuntimeError, TypeError,
 KeyboardInterrupt), x:
    1008                 self._session_number = -1
 -> 1009                 raise TypeError, x
    1010         else:
    1011             self._name = value
 TypeError: Singular error:
    ? error occurred in STDIN line 23: `module sage4=w,;`
    ? expected module-expression. type 'help module;'
    ? last reserved name was `module`
  error at token `;`
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4622#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of 
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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