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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,d9d2bccce5d4fc93,start
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Path: 
 g2news2.google.com!postnews.google.com!b23g2000yqn.googlegroups.com!not-for-mail
From: bedriemir <bedriemir@gmail.com>
Newsgroups: comp.lang.ada
Subject: integer questia
Date: Fri, 23 Apr 2010 02:20:24 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <bad42cbb-5c38-4149-a234-981e5c536c53@b23g2000yqn.googlegroups.com>
NNTP-Posting-Host: 88.244.80.24
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1272014424 16596 127.0.0.1 (23 Apr 2010 09:20:24
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Fri, 23 Apr 2010 09:20:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: b23g2000yqn.googlegroups.com; posting-host=88.244.80.24;
	posting-account=nKMJwgoAAAAtqZUEq04mnNHfvFMCU1OZ
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 6.1; WOW64;
	Trident/4.0; Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1) ; SLCC2;
	.NET CLR 2.0.50727; .NET CLR 3.5.30729; .NET CLR 3.0.30729; Media Center PC
	6.0; .NET4.0C; .NET4.0E),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:11121
Date: 2010-04-23T02:20:24-07:00
List-Id: <comp.lang.ada>

Dear Friends,

I will be very happy si quelue'un peut m'=C3=A9clairer sur....

what is the relation of root_integer , universal_integer and Integer


I think people are arguing on the definiton - in fact very scientific
-
in the LM

I am getting different explanations from different sources,

what I have understood is

root_integer is a special definition type , it is not root of
anything , just implemented for the supression of ambiguities which
arise with universal_integer, so it should be considered as the base
type of universal_integer and his operators has the priority over
universal_integer . Similar situations arise in some other types too.

universal_integer is the base of all integers. it has examplaires in
integer constants but we can't use its instances. The first operative
type is Integer . The base type of Integer is universal_integer, the
first subtype of Integer is itself, then other subtypes may follow...

is it right or  am I missing something ?

Bedri Do=C4=9Fan Emir (Chem. & Chem.Eng) (Istanbul University)

bedri@bedriemir.com