#4539: plural wrapper
---------------------------------------------------------------+------------
   Reporter:  burcin                                           |          
Owner:  OleksandrMotsak, AlexanderDreyer
       Type:  enhancement                                      |         
Status:  needs_work                      
   Priority:  major                                            |      
Milestone:  sage-4.7.2                      
  Component:  algebra                                          |       
Keywords:  libsingular plural wrapper sd34 
Work_issues:  detect the doctest with a verbosity side effect  |       
Upstream:  N/A                             
   Reviewer:                                                   |         
Author:                                  
     Merged:                                                   |   
Dependencies:  #7797 #11316 #11856             
---------------------------------------------------------------+------------
Changes (by SimonKing):

  * status:  needs_review => needs_work
  * work_issues:  => detect the doctest with a verbosity side effect


Comment:

 I get a doctest failure in
 sage/rings/polynomial/multi_polynomial_ideal.py. There, a protocol of a
 Gröbner basis computation is printed where we do not expect it.

 The problem: If one runs the test separately, it works fine:
 {{{
 sage: A.<x,y,z> = FreeAlgebra(QQ, 3)
 sage: H = A.g_algebra({y*x:x*y-z, z*x:x*z+2*x, z*y:y*z-2*y})
 sage: H.inject_variables()
 Defining x, y, z
 sage: I = H.ideal([y^2, x^2, z^2-H.one_element()],coerce=False)
 sage: G = vector(I.gens()); G
 /mnt/local/king/SAGE/debug/sage-4.7.2.alpha3-prerelease/local/lib/python2.6
 /site-packages/sage/modules/free_module.py:366: UserWarning: You are
 constructing a free module   over a noncommutative ring. Sage does
              not have a concept of left/right and both sided modules, so
 be careful. It's also
              not guaranteed that all multiplications are done from the
 right side.
   not guaranteed that all multiplications are done from the right
 side.""")
 /mnt/local/king/SAGE/debug/sage-4.7.2.alpha3-prerelease/local/lib/python2.6
 /site-packages/sage/modules/free_module.py:584: UserWarning: You are
 constructing a free module over a noncommutative ring. Sage does not have
 a concept of left/right and both sided modules be careful. It's also not
 guarantied that all multiplications are done from the right side.
   warn("""You are constructing a free module over a noncommutative ring.
 Sage does not have a concept of left/right and both sided modules be
 careful. It's also not guarantied that all multiplications are done from
 the right side.""")
 (y^2, x^2, z^2 - 1)
 }}}

 But the same doctest executed as part of the doctest suite has a
 {{{
 std in (0),(x,y),(dp(2),C)
 [4294967295:2]3ss4s6
 (S:2)--
 product criterion:1 chain criterion:0
 }}}
 printed after (!!) the result.

 So, apparently another test has a side effect. I tried to identify it
 (e.g., a test that sets verbosity and forgets to reset it), but I did not
 succeed.  Also I wonder why one first sees the result and only later sees
 the protocol.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4539#comment:65>
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