[om] Univariate Polynomials

[Bill Naylor]

> Subject: [om] Univariate Polynomials
>
> I attach a CD and STS for this, prompted by discussions with John Abbott
> and Hans Schonemann at ISSAC 2003. I would be grateful if these two would
> review it, and if David C. could mount it as an extra.
> James
>

Hi James, David,

A few typos came to my attention:

1) in polyu.sts the second signature should have

<Signature name="poly_u_rep">
   ...

2) (in polyu.ocd) in the FMP for the polynomial_ring_u polynomial ring
constructor, the cd attribute for the first argument should be polyu, ie.

<OMOBJ><OMA><OMS name="eq" cd="relation1"/>
  <OMA>
    <OMS name="polynomial_ring_u" cd="polyu"/>
                                      _____
    ...

3) the same thing for the example

cheers,

Bill
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems