[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Euclidian Division



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/