``Premature optimization is the root of all evil.''
-- Donald E. Knuth
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-03-15 08:55:09
Modified files:
doc : definitions.dox
Log message:
Improved the proposition that is before the definition of the ray space:
we were using an object that was not defined before.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: hill(a)cs.unipr.it 2002-03-14 15:57:51
Modified files:
interfaces/Prolog: Prolog_interface.dox
Log message:
Draft descriptions for all the new predicates added.
A few other small improvements made.
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Prolog_inte…
CVSROOT: /cvs/ppl
Module name: ppl
Changes by: ericci(a)cs.unipr.it 2002-03-14 10:56:23
Modified files:
doc : definitions.dox
Log message:
Corrected two errors in the definition of minimal proper face: I have written
"C" instead of "P".
Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/definitions.dox.diff?cvsr…
Dear all,
while I was trying the Prolog interfaces, I wrote
ppl_relation_with_generator(P, point(1), L)
which was happily accepted, but then I got a wrong result.
What I meant to write was
ppl_relation_with_generator(P, point(X), L)
or, for more verbosity,
ppl_relation_with_generator(P, point(1*X), L).
Thus I thought I should change the code of the Prolog interface
so that an exception is thrown in case of invalid generators
such as point(1). But then I realized that silly generators
can also be created in C++, even though one needs to be more
motivation to come up with things like
Generator g(point(LinExpression(1)));
Should we disallow these things also in C++?
Are there other places were we are a bit sloppy?
Please, let me know what you think.
Ciao
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
