[Trac] [OpenMath] #97: Duplicate CDDefinition finfield1#field_by_conway

[OpenMath]

#97: Duplicate CDDefinition finfield1#field_by_conway
----------------------------------+-----------------------------------------
     Reporter:  clange            |          Owner:  jhd       
         Type:  defect            |         Status:  new       
     Priority:  major             |      Milestone:            
    Component:  OM2 Standard CDs  |        Version:            
   Resolution:                    |       Keywords:            
Include_gantt:  0                 |   Dependencies:            
   Due_assign:  YYYY/MM/DD        |      Due_close:  YYYY/MM/DD
----------------------------------+-----------------------------------------
Changes (by jhd):

  * owner:  kohlhase => jhd

Comment:

 Replying to [comment:3 clange]:
 > E-mail?? You mean you don't see anything in this file?
 https://svn.openmath.org/www/cdfiles2/cd/finfield1.ocd
 I didn't when I last looked, but I do now. Browser time-out?

 There are other problems with this CD (which I haven't seen before - my
 fault): priitive_element comes in unary and binary versions, which OM does
 not allow (you didn't pick this up automatically, as it's only in the
 comments. minimal_polynomial has the same problem.
 My current view is tha the first field_by_conway is plain broken, and
 should be deleted, but I'd like to run this past a local expert, and also
 by Arjeh if possible. Does any-one know if he is reading e-mail?

-- 
Ticket URL: <https://trac.mathweb.org/OM3/ticket/97#comment:5>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.