<?xml version="1.0"?>


<!-- We consider in this file polynomial functions over positive integers.
Functions are sequences of monomes. Decimal encoding of integers.


The grammar is the following (initial symbol is F)
0,1,...,9 are digit
N generates integers
M generates monomes
F generates polynomes

F -> Seq_add(M)
M -> I x^I
I -> Seq_.(D)
D -> 0 | ... | 9

In this file, variable x has a higer weight in order to occur often.
-->




<!DOCTYPE specification SYSTEM "seed.dtd">


<specification>
  <start idref="All"/> 

  <sequence id="All"> <!-- defintion of a polynome-->
    <symbol value="+"/>
    <child idref="M"/> <!-- sequence of monomes-->
  </sequence> 

  <binary id="M"><!-- defintion of monomes-->
    <symbol value="x^"/>
    <child idref="I"/>
    <child idref="I"/>
  </binary>


  <constants id="D"> <!-- digits-->
    <symbol value="0"/>
    <symbol value="1"/>
    <symbol value="2"/>
    <symbol value="3"/>
    <symbol value="4"/>
    <symbol value="5"/>
    <symbol value="6"/>
    <symbol value="7"/>
    <symbol value="8"/>
    <symbol value="9"/>
  </constants>


  <sequence id="I"> <!-- defintion  of numbers -->
    <symbol value="int"/>
    <child idref="D"/>
  </sequence>




</specification>

