Re: use of 'Base to compensate for the lack of information

[Mehdi Saada <00120260a@gmail.com>]

Le mercredi 27 décembre 2017 14:28:22 UTC+1, Dmitry A. Kazakov a écrit :
> On 2017-12-27 13:29, Mehdi Saada wrote:
> 
> > It seems good and practical, but at one time, I need the coefficient 
> > to be multiplied by the coefficients' array index, which is a
> > Natural.
> 
> Does not make sense, but ...

Ahahah... Now I read myself, I think the same: utter nonsense.
I mean "array of ELEMENT (which should be rational coefficients, but can be integer or modular), indexed by signed integers".

Hence, that should be ok, and the user should only need to provide ELEMENT, T_DEGRE and NULL_ELEMENT. No need for a maximum degre anymore, by the way.
generic
    type T_DEGRE is range <>;
    type Element is private;
    with function "+" (E1,E2: in ELEMENT) return ELEMENT is <>;
    with function "-" (E1,E2: in ELEMENT) return ELEMENT is <>;
    with function "-" (E1: in ELEMENT) return ELEMENT is <>;
    with function "*" (E1: in ELEMENT; E2: in T_DEGRE) return ELEMENT is <>;
    with function "/" (E1,E2: in ELEMENT) return ELEMENT is <>;
    with procedure ECRIRE(E1: in ELEMENT) is <>;
    NULL_ELEMENT: in ELEMENT;