#17740: Division of modules by basering elements should not pass to the fraction
field.
-------------------------------------+-------------------------------------
Reporter: robertwb | Owner:
Type: defect | Status: needs_work
Priority: major | Milestone: sage-6.5
Component: coercion | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
u/vdelecroix/17440 | 96c1a0348964c4edbd42f3fc52e93b9e76f26156
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):
* status: needs_info => needs_work
Comment:
And something is broken:
{{{
sage -t schemes/toric/divisor.py
**********************************************************************
File "schemes/toric/divisor.py", line 35, in sage.schemes.toric.divisor
Failed example:
(1/2)*Dx + Dy/3 - Dz
Exception raised:
Traceback (most recent call last):
...
TypeError: unsupported operand parent(s) for '/': 'Group of toric ZZ-
Weil divisors on 2-d CPR-Fano toric variety covered by 6 affine patches'
and 'Integer Ring'
**********************************************************************
File "schemes/toric/divisor.py", line 40, in sage.schemes.toric.divisor
Failed example:
(Dx/2).parent()
Exception raised:
Traceback (most recent call last):
...
TypeError: unsupported operand parent(s) for '/': 'Group of toric ZZ-
Weil divisors on 2-d CPR-Fano toric variety covered by 6 affine patches'
and 'Integer Ring'
**********************************************************************
File "schemes/toric/divisor.py", line 866, in
sage.schemes.toric.divisor.ToricDivisor_generic.is_Weil
Failed example:
(D/2).is_Weil()
Exception raised:
Traceback (most recent call last):
...
TypeError: unsupported operand parent(s) for '/': 'Group of toric ZZ-
Weil divisors on 2-d CPR-Fano toric variety covered by 3 affine patches'
and 'Integer Ring'
**********************************************************************
File "schemes/toric/divisor.py", line 893, in
sage.schemes.toric.divisor.ToricDivisor_generic.is_QQ_Weil
Failed example:
(D/2).is_QQ_Weil()
Exception raised:
Traceback (most recent call last):
...
TypeError: unsupported operand parent(s) for '/': 'Group of toric ZZ-
Weil divisors on 2-d CPR-Fano toric variety covered by 3 affine patches'
and 'Integer Ring'
**********************************************************************
3 items had failures:
2 of 42 in sage.schemes.toric.divisor
1 of 5 in sage.schemes.toric.divisor.ToricDivisor_generic.is_QQ_Weil
1 of 5 in sage.schemes.toric.divisor.ToricDivisor_generic.is_Weil
[363 tests, 4 failures, 2.53 s]
----------------------------------------------------------------------
sage -t schemes/toric/divisor.py # 4 doctests failed
----------------------------------------------------------------------
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/17740#comment:11>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
