#18787: Bug with products of symbolic variables with modular integers
-----------------------------+------------------------
       Reporter:  tmonteil   |        Owner:
           Type:  defect     |       Status:  new
       Priority:  major      |    Milestone:  sage-6.8
      Component:  symbolics  |   Resolution:
       Keywords:             |    Merged in:
        Authors:             |    Reviewers:
Report Upstream:  N/A        |  Work issues:
         Branch:             |       Commit:
   Dependencies:             |     Stopgaps:
-----------------------------+------------------------
Description changed by jdemeyer:

Old description:

> As reported on [http://ask.sagemath.org/question/27196/multiplying-
> matrices-with-different-parents/ this ask question]
>
> {{{
> sage: _ = var('A,B')
> sage: (A + 3*B)*Zmod(9)(6)
> 0*B
> }}}
>
> while the result should be `6*A`. There is even (with the 6.6 Linux
> tarball)
> {{{
> sage: (3*A + 3*B + 1)*Zmod(9)(6)
> 6
> sage: (3*A + 3*B)*Zmod(9)(6)
>                            <------------ !!
> sage:
> }}}

New description:

 As reported on [http://ask.sagemath.org/question/27196/multiplying-
 matrices-with-different-parents/ this ask question]

 {{{
 sage: _ = var('A,B')
 sage: (A + 3*B)*Zmod(9)(6)
 0*B
 }}}

 while the result should be `6*A`.

 It seems that the internal state of these objects is really messed up:
 {{{
 sage: _ = var('A,B')
 sage: (3*A + 3*B)*Zmod(9)(6)    # Yes, the output is really empty!

 sage: (3*A + 3*B)*Zmod(9)(6)*A
 ------------------------------------------------------------------------
 Unhandled SIGSEGV: A segmentation fault occurred in Sage.
 This probably occurred because a *compiled* component of Sage has a bug
 in it and is not properly wrapped with sig_on(), sig_off().
 Sage will now terminate.
 ------------------------------------------------------------------------
 }}}

--

--
Ticket URL: <http://trac.sagemath.org/ticket/18787#comment:13>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to