Opened 4 years ago

Last modified 2 years ago

#18787 closed defect

Bug with matrice products over Symbolic Ring with modular integers — at Version 1

Reported by: tmonteil Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords:
Cc: kcrisman, slelievre Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by jdemeyer)

As reported on this ask question

sage: _ =var('A,B,C,D')
sage: S = matrix([[1+3*A,3*B],[3*C,1+3*D]])
sage: R = Zmod(9)
sage: g = matrix(R,2,[[2,1],[2,6]])
sage: gi = matrix(R,2,[[6,8],[7,2]])
sage: g*S*gi
[        6*B + 3*D + 1 3*A + 3*B + 6*C + 6*D]
[            0*A + 0*D         3*A + 0*D + 1]

While we have (look at the second line):

sage: P.<A,B,C,D> = ZZ[]
sage: S = matrix([[1+3*A,3*B],[3*C,1+3*D]])
sage: R = Zmod(9)
sage: g = matrix(R,2,[[2,1],[2,6]])
sage: gi = matrix(R,2,[[6,8],[7,2]])
sage: g*S*gi
[        6*B + 3*D + 1 3*A + 3*B + 6*C + 6*D]
[                  6*B         3*A + 3*B + 1]

Change History (1)

comment:1 Changed 4 years ago by jdemeyer

  • Description modified (diff)
Note: See TracTickets for help on using tickets.