#17569: Allow creating finite fields without a variable name
-------------------------------------+-------------------------------------
       Reporter:  pbruin             |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  minor              |    Milestone:  sage-7.1
      Component:  finite rings       |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  David Roe          |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/roed/allow_creating_finite_fields_without_a_variable_name|  
2fcbc08667d7048d1f9a2691c8e4e9a2eff66001
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by ncohen):

 Replying to [comment:9 roed]:
 > Currently, you can feed random keyword arguments to most (all?) of the
 finite field constructors and they'll have no effect.

 These useless-but-accepted arguments are a plague. There was a wealth of
 them in many 'plot' functions at a time: you tried to give a color to
 something, the argument 'color="red"' was accepted but nothing happened.

 The most common way in which they are a pain are typos:

 {{{
 sage: GF(16,'x',checkirreducible=True)
 Finite Field in x of size 2^4
 }}}

 The side-effect of not having a '_' in `check_irreducible` is that... It
 is ignored. And of course no exception to tell you.

 About having an effect, here is one (thanks to `UniqueRepresentation`, I
 expect)

 {{{
 sage: GF(27,'a') == GF(27,'a')
 True
 sage: GF(27,'a',whatever=158) == GF(27,'a')
 False
 sage: GF(27,'a')(1) + GF(27,'a')(1)
 2
 sage: GF(27,'a',whatever=158)(1) + GF(27,'a')(1)
 TypeError: unsupported operand parent(s) for '+': 'Finite Field in a of
 size 3^3' and 'Finite Field in a of size 3^3'
 }}}

 Nathann

--
Ticket URL: <http://trac.sagemath.org/ticket/17569#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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to