Thread Links			Date Links
Thread Prev	Thread Next	Thread Index	Date Prev	Date Next	Date Index

Re: motion43 new vesion

To: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
Subject: Re: motion43 new vesion
From: Vincent Lefevre <vincent@xxxxxxxxxx>
Date: Fri, 26 Apr 2013 15:15:04 +0200
Delivered-to: mhonarc@xxxxxxxxxxxxxxxx
In-reply-to: <517A71E4.5010008@informatik.uni-wuerzburg.de>
List-help: <https://listserv.ieee.org/cgi-bin/wa?LIST=STDS-1788>, <mailto:LISTSERV@LISTSERV.IEEE.ORG?body=INFO%20STDS-1788>
List-owner: <mailto:STDS-1788-request@LISTSERV.IEEE.ORG>
List-subscribe: <mailto:STDS-1788-subscribe-request@LISTSERV.IEEE.ORG>
List-unsubscribe: <mailto:STDS-1788-unsubscribe-request@LISTSERV.IEEE.ORG>
Mail-followup-to: stds-1788 <stds-1788@xxxxxxxxxxxxxxxxx>
References: <51794B37.3040601@informatik.uni-wuerzburg.de> <51797F08.5060306@louisiana.edu> <517A71E4.5010008@informatik.uni-wuerzburg.de>
Sender: stds-1788@xxxxxxxx
User-agent: Mutt/1.5.21-6305-vl-r59709 (2013-04-16)

For (8), I think it should be

  (mulRev(b,a),Empty)

not

  (mulRev(a,b),Empty)

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)

Follow-Ups:
- Re: motion43 new vesion
  - From: Ralph Baker Kearfott

References:
- motion43 new vesion
  - From: J. Wolff von Gudenberg
- Re: motion43 new vesion
  - From: Ralph Baker Kearfott
- Re: motion43 new vesion
  - From: J. Wolff von Gudenberg

Prev by Date: Re: motion43 new vesion
Next by Date: Re: motion43 new vesion
Previous by thread: Re: motion43 new vesion
Next by thread: Re: motion43 new vesion
Index(es):
- Date
- Thread