Re: Non-deterministic operation
This is a good idea long overdue. This operation, with name "!",
is alread defined in the Combinatorial library distributed with
pakcs. The library should be updated too.
Sergio
Received on Di Jun 08 2004 - 08:55:01 CEST
This archive was generated by hypermail 2.3.0
: Do Jun 20 2024 - 07:15:06 CEST