#14899: Anticanonical hypersurfaces cannot handle finite fields
--------------------------------------+-----------------------------
       Reporter:  novoselt            |         Owner:  AlexGhitza
           Type:  defect              |        Status:  needs_review
       Priority:  major               |     Milestone:  sage-5.12
      Component:  algebraic geometry  |    Resolution:
       Keywords:  toric               |     Merged in:
        Authors:  Andrey Novoseltsev  |     Reviewers:
Report Upstream:  N/A                 |   Work issues:
         Branch:                      |  Dependencies:
       Stopgaps:                      |
--------------------------------------+-----------------------------
Description changed by vbraun:

Old description:

> As originally reported on sage-devel: https://groups.google.com/d/topic
> /sage-devel/4QPBF_BDnfE/discussion
>
> The problem is that coefficients are converted to the symbolic ring and
> then back, which does not work (and is a bug of symbolic ring / finite
> field coercion). A workaround which may help in other cases and improve
> speed is to go through symbolic ring only when direct conversion fails.
> (Which, of course, is the bug for the corresponding ring and has to be
> solved as well...)

New description:

 As originally reported on sage-devel: https://groups.google.com/d/topic
 /sage-devel/4QPBF_BDnfE/discussion

 The problem is that coefficients are converted to the symbolic ring and
 then back, which does not work (and is a bug of symbolic ring / finite
 field coercion). A workaround which may help in other cases and improve
 speed is to go through symbolic ring only when direct conversion fails.
 (Which, of course, is the bug for the corresponding ring and has to be
 solved as well...)

 Apply
   * [attachment:trac_14899_fraction_field_string.patch]
   *
 [attachment:trac_14899_limit_SR_conversion_in_anticanonical_hypersurface.patch]

--

--
Ticket URL: <http://trac.sagemath.org/ticket/14899#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/groups/opt_out.


Reply via email to