#26191 closed enhancement (fixed)

minor care for magma interface

Reported by: chapoton Owned by:
Priority: major Milestone: sage-8.4
Component: interfaces: optional Keywords: magma
Cc: cremona, davidloeffler Merged in:
Authors: Frédéric Chapoton Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: 243b6c4 (Commits) Commit: 243b6c4596157ea9b3fc706829a48b5872307975
Dependencies: Stopgaps:

Description

removing a deprecated function, fixing one optional doctest

fixing only one of the issues in #25408

Change History (5)

comment:1 Changed 15 months ago by chapoton

  • Branch set to u/chapoton/26191
  • Commit set to fbe27e85e925f6433767f55aa4c6dd3c8ab5c651
  • Status changed from new to needs_review

New commits:

fbe27e8some care for magma interface

comment:2 Changed 15 months ago by chapoton

  • Component changed from PLEASE CHANGE to interfaces: optional

comment:3 Changed 15 months ago by git

  • Commit changed from fbe27e85e925f6433767f55aa4c6dd3c8ab5c651 to 243b6c4596157ea9b3fc706829a48b5872307975

Branch pushed to git repo; I updated commit sha1. New commits:

243b6c4fix import

comment:4 Changed 15 months ago by tscrim

  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

LGTM.

comment:5 Changed 15 months ago by vbraun

  • Branch changed from u/chapoton/26191 to 243b6c4596157ea9b3fc706829a48b5872307975
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.