From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.70.2 with SMTP id t2mr12320201ioa.18.1514382815149;
        Wed, 27 Dec 2017 05:53:35 -0800 (PST)
X-Received: by 10.157.46.130 with SMTP id w2mr1288005ota.10.1514382814988;
 Wed, 27 Dec 2017 05:53:34 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!i6no2989497itb.0!news-out.google.com!b73ni11404ita.0!nntp.google.com!g80no2983322itg.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 27 Dec 2017 05:53:34 -0800 (PST)
In-Reply-To: <p2075j$m0$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.240.218.207;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.240.218.207
References: <dc81f170-1442-48d8-af5d-a929cfabfdcb@googlegroups.com>
 <p2075j$m0$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <639ee8ec-8b01-4f05-a13e-289e86dfc820@googlegroups.com>
Subject: Re: use of 'Base to compensate for the lack of information
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Wed, 27 Dec 2017 13:53:35 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Body-CRC: 1447999579
X-Received-Bytes: 2481
Xref: reader02.eternal-september.org comp.lang.ada:49653
Date: 2017-12-27T05:53:34-08:00
List-Id: <comp.lang.ada>

Le mercredi 27 d=C3=A9cembre 2017 14:28:22 UTC+1, Dmitry A. Kazakov a =C3=
=A9crit=C2=A0:
> On 2017-12-27 13:29, Mehdi Saada wrote:
>=20
> > It seems good and practical, but at one time, I need the coefficient=20
> > to be multiplied by the coefficients' array index, which is a
> > Natural.
>=20
> 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;