Opened 15 years ago

Closed 15 years ago

#1418 closed enhancement (fixed)

[with patch, with positive review] magma element __floordiv__

Reported by: jbmohler Owned by: William Stein
Priority: minor Milestone: sage-2.10.1
Component: interfaces Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

I added a __floordiv__ to the magma element for the 'div' operator.

Attachments (1)

magma_floordiv.patch (1.1 KB) - added by jbmohler 15 years ago.
a fixed patch which should work

Download all attachments as: .zip

Change History (9)

comment:1 Changed 15 years ago by jbmohler

Milestone: sage-2.9sage-2.10

Oops, this should go on hold. I screwed it up in various ways with the doc-tests.

comment:2 Changed 15 years ago by Mike Hansen

Milestone: sage-2.10sage-2.9
Summary: magma element __floordiv__[with patch] magma element __floordiv__

comment:3 Changed 15 years ago by Michael Abshoff

Summary: [with patch] magma element __floordiv__[with borken patch] magma element __floordiv__

comment:4 Changed 15 years ago by Michael Abshoff

Summary: [with borken patch] magma element __floordiv__[with broken patch] magma element __floordiv__

Changed 15 years ago by jbmohler

Attachment: magma_floordiv.patch added

a fixed patch which should work

comment:5 Changed 15 years ago by jbmohler

Summary: [with broken patch] magma element __floordiv__[with patch] magma element __floordiv__

I just added a patch which adds "# optional" at the right points.

comment:6 Changed 15 years ago by Robert Miller

Summary: [with patch] magma element __floordiv__[with patch, needs review] magma element __floordiv__

comment:7 Changed 15 years ago by ncalexan

Summary: [with patch, needs review] magma element __floordiv__[with patch, with positive review] magma element __floordiv__

Looks fine, apply.

comment:8 Changed 15 years ago by Michael Abshoff

Resolution: fixed
Status: newclosed

Merged in Sage 2.10.1.alpha1

Note: See TracTickets for help on using tickets.