Euclidian Division

["Paul S. Miner" <p.s.miner@larc.nasa.gov>]

amrani moussa writes:

> I just want to know how to write the "DIV" and "MOD" operators used in other 
> langages in P.V.S.

Two options:

 1.) get the pvs div and mod libraries from
     http://shemesh.larc.nasa.gov/fm/ftp/ftp-pvslib-request.html

 2.) wait for PVS 2.3 which may include a version of these operators
     in the prelude.

-- 
-- Paul S. Miner                | phone: (757) 864-6201
-- 1 South Wright St. / MS 130  | fax:   (757) 864-4234
-- NASA Langley Research Center | mailto:p.s.miner@larc.nasa.gov
-- Hampton, Virginia 23681-2199 | http://shemesh.larc.nasa.gov/~psm/

---

• References:
  • Euclidian Division
    • From: amrani moussa <amranim@ufrima.imag.fr>

• Prev by Date: Euclidian Division
• Next by Date: even & odd
• Prev by thread: Euclidian Division
• Next by thread: nat, real & Co.
• Index(es):
  • Date
  • Thread