#9788: The coordinates appearing in the output of variety(L) should be easier to
access
-------------------------------------+-------------------------------------
       Reporter:  mmezzarobba        |        Owner:  malb
           Type:  enhancement        |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-6.4
      Component:  commutative        |   Resolution:
  algebra                            |    Merged in:
       Keywords:                     |    Reviewers:
        Authors:  Martin von Gagern  |  Work issues:
Report Upstream:  N/A                |       Commit:
         Branch:                     |  79c59c24803918e25aba2a659330ddcd63331685
  u/gagern/ticket/9788               |     Stopgaps:
   Dependencies:                     |
-------------------------------------+-------------------------------------

Comment (by gagern):

 Replying to [comment:11 mmezzarobba]:
 > As you implemented it as a generic programming utility rather than as
 part of the parent/element/coercion/... infrastructure, perhaps it should
 go in `sage.misc` rather than `sage.structure`?

 Fine with me. Did so.

 > I agree, but I'd prefer to get a second opinion.

 So this ticket here will remain waiting for review until then? Should I
 ask someone specific about this?

 > > Should `BooleanPolynomialIdeal.variety()` in `pbori.pyx` behave the
 same?

 Did so now.

 > > Should other code make use of this as well, e.g. the symbolic `solve`
 function with `solutions_dict=True`?

 I get the feeling that if the result accepts various types to identify
 variables, the argument which tells `solve` what variable(s) to solve for
 should be auto-coerced as well. That would be a bigger and possibly more
 controversial change, and I don't want that in the way of this ticket
 here.

--
Ticket URL: <http://trac.sagemath.org/ticket/9788#comment:13>
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.

Reply via email to