Opened 13 years ago

Closed 10 years ago

Last modified 10 years ago

#5187 closed defect (duplicate)

fix optional magma doctests that changed in magma-2.15

Reported by: was Owned by: was
Priority: minor Milestone: sage-duplicate/invalid/wontfix
Component: interfaces Keywords: sd32
Cc: Merged in:
Authors: Mariah Lenox Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges


The latest version of Magma is Magma-2.15, and there are doctests all over that now slightly fail because the output format of certain things in Magma has changed.

The file at lists all the doctest failures. It was got by running this script:

        sage -t -only_optional=magma "devel/sage/sage/rings/polynomial/multi_polynomial_ring_generic.pyx"
        sage -t -only_optional=magma "devel/sage/sage/rings/polynomial/"
        sage -t -only_optional=magma "devel/sage/sage/rings/polynomial/"
        sage -t -only_optional=magma "devel/sage/sage/crypto/mq/"
        sage -t -only_optional=magma "devel/sage/sage/interfaces/"

on eno, which has Magma-2.15.

I think all the changes are purely cosmetic, so this should be very straightforward (but tedious).

Change History (4)

comment:1 Changed 13 years ago by mabshoff

It all seems to be

Graded Reverse Lexicographical Order


Order: Graded Reverse Lexicographical


Lexicographical Order


Order: Lexicographical

The question is: Do we make 2.15 the only officially blessed release or do we add a sufficient amount of dots to make the tests also pass with 2.13 to 2.14?



comment:2 Changed 11 years ago by mariah

  • Authors set to Mariah Lenox
  • Milestone changed from sage-4.7 to sage-duplicate/invalid/wontfix
  • Report Upstream set to N/A
  • Status changed from new to needs_review

I believe this ticket can be closed as it is superceded by #7870.

comment:3 Changed 10 years ago by was

  • Resolution set to duplicate
  • Status changed from needs_review to closed

comment:4 Changed 10 years ago by was

  • Keywords sd32 added
Note: See TracTickets for help on using tickets.