#5631: [with patch, needs work] improve doctest coverage for
schemes/generic/affine_space.py
--------------------------------+-------------------------------------------
Reporter: AlexGhitza | Owner: AlexGhitza
Type: enhancement | Status: assigned
Priority: minor | Milestone: sage-3.4.1
Component: algebraic geometry | Keywords: doctest affine space
--------------------------------+-------------------------------------------
Comment(by was):
> If you look at the docstring that I wrote for subscheme_complement
> (and the doctest), you will notice that X and Y are already subschemes
> of self (so self is involved in a slightly hidden way).
Couldn't I do this:
{{{
sage: A.<x, y, z> = AffineSpace(3, ZZ)
sage: [[make an X and a Y over GF(7) say that haven't nothing to do with
A]]
sage: A.subscheme_complement(X, Y)
}}}
Either subscheme_complement needs to check that X and Y are really
subschemes of A, or it should just be a method of X, i.e.,
{{{
sage: X.complement(Y)
}}}
say, which requires that X and Y live in a common ambient space.
-- William
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5631#comment:6>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
