From -7972232619133110074
X-Google-Thread: f78e5,e4aa14519cca09ff
X-Google-Attributes: gidf78e5,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: g2news1.google.com!news1.google.com!newsread.com!news-xfer.newsread.com!news.glorb.com!news-feed01.roc.ny.frontiernet.net!nntp.frontiernet.net!newscon06.news.prodigy.com!prodigy.net!newsfeed-00.mathworks.com!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!stump.algebra.com!devnull
From: caj@cs.york.ac.uk (Christopher Jefferson)
Newsgroups: comp.std.c++
Subject: Re: My nitpicks on n1774
Date: Wed, 27 Apr 2005 18:33:27 GMT
Organization: The University of York, UK
Lines: 26
Sender: mail2news@demon.net
Approved: fjh@cs.mu.oz.au (Fergus Henderson , moderator of comp.std.c++)
Message-ID: <426FC144.1060706@cs.york.ac.uk>
References: <1gvl3nc.1btw8bq15u28exN%thedl0-usenet1@yahoo.com>
NNTP-Posting-Host: news.news.demon.net
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: news.demon.co.uk 1114626813 20622 158.152.254.254 (27 Apr 2005 18:33:33 GMT)
X-Complaints-To: abuse@demon.net
NNTP-Posting-Date: Wed, 27 Apr 2005 18:33:33 +0000 (UTC)
X-Robomod: STUMP, ichudov@algebra.com (Igor Chudov)
X-User-Agent: Mozilla Thunderbird 1.0.2 (Macintosh/20050317)
X-Accept-Language: en-us, en
X-Virus-Scanned: by amavisd-new at cs.mu.OZ.AU
X-Path: comp-std-cpp-robomod!not-for-mail
X-Received: (from fjh@localhost)
	by mulga.cs.mu.OZ.AU (8.12.10+Sun/8.12.9/Submit) id j3RIXR5C016256;
	Thu, 28 Apr 2005 04:33:27 +1000 (EST)
X-NNTP-Posting-Date: 27 Apr 2005 16:43:48 GMT
X-Enigmail-Supports: pgp-inline, pgp-mime
X-Enigmail-Version: 0.89.5.0
X-Delivered-To: std-c++@ucar.edu
X-Authentication-Warning: mulga.cs.mu.OZ.AU: fjh set sender to devnull@stump.algebra.com using -f
X-York-MailScanner-From: news@york.ac.uk
X-Newsgroups: comp.std.c++
X-York-MailScanner: Found to be clean
Xref: g2news1.google.com comp.std.c++:4631

My quite minor comments on your comments..
Daryle Walker wrote:
> 2.  26.5.1
>     What about a "div" function to get the quotient and remainder
> simultaneously?

I second this, particularily because it's fairly hard to figure out one 
without the other, and unlike for built-in types it will be hard for the 
compiler to combine the two operations I imagine.

>     Since unlimited integers can't have operator ~, you may want to add
> and_not, or_not, and xor_not functions.  (They act like operators &, |,
> and ^, but virtually complement their second operand first.)

While I can see and_not, surely or_not and xor_not would have the same 
problems as just not (that is unless you impose some arbitary bound, the 
result would be infinite in length?)

Chris

---
[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]