#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 rws:

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`.

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`. 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:
 }}}

--

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