Ticket #10225 (closed defect: invalid)

Opened 3 years ago

Last modified 3 years ago

Nonsensical Quaternion Algebra Description

Reported by: spice Owned by: mvngu
Priority: trivial Milestone: sage-duplicate/invalid/wontfix
Component: documentation Keywords: quaternion
Cc: Work issues:
Report Upstream: N/A Reviewers: Simon Spicer
Authors: Simon Spicer Merged in:
Dependencies: Stopgaps:

Description 

sage: K.<a> = NumberField(x^2 - 17)
sage: QuaternionAlgebra(K,-1,-1)
Quaternion Algebra (-1, -1) with base ring Number Field in a with defining polynomial x^2 - 17

When you call a quaternion algebra in Sage defined over a number field, you get grammar salad for the description.

I'm guessing the info fields for quaternion algebras are misdefined, or something similar to that. Hopefully this shouldn't be too much work to fix.

Change History

comment:1 Changed 3 years ago by spice

  • Status changed from new to closed
  • Reviewers set to Simon Spicer
  • Resolution set to invalid

Figured it out. 

Number Field in a with defining polynomial x^2 - 17

Read as: "The number field with adjoined element 'a', having defining polynomial x2-17".

This makes perfect sense, so nothing is in fact broken. Issue withdrawn.

comment:2 Changed 3 years ago by mvngu

  • Milestone changed from sage-4.6.1 to sage-duplicate/invalid/wontfix
Note: See TracTickets for help on using tickets.