| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/interval_arith/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 1 kB |
|
Quelle symbols_as_proper.pvs Sprache: PVS |
|||||||||
|
symbols_as_proper : THEORY
BEGIN IMPORTING proper_arith x,y : VAR real X,Y : VAR ProperInterval n : VAR nat ;<(X,x) : MACRO bool = proper_Lt(X,x) ;<=(X,x) : MACRO bool = proper_Le(X,x) ;>(X,x) : MACRO bool = proper_Gt(X,x) ;>=(X,x) : MACRO bool = proper_Ge(X,x) ;+(X,Y) : MACRO ProperInterval = proper_Add(X,Y) ;+(x,Y) : MACRO ProperInterval = proper_Add([|x|],Y) ;+(X,y) : MACRO ProperInterval = proper_Add(X,[|y|]) ;-(X,Y) : MACRO ProperInterval = proper_Sub(X,Y) ;-(x,Y) : MACRO ProperInterval = [|x|]-Y ;-(X,y) : MACRO ProperInterval = X-[|y|] ;-(X) : MACRO ProperInterval = proper_Neg(X) ;*(X,Y) : MACRO ProperInterval = proper_Mult(X,Y) ;*(x,Y) : MACRO ProperInterval = [|x|]*Y ;*(X,y) : MACRO ProperInterval = X*[|y|] YNz : VAR NzInterval ynz : VAR nzreal ;/(X,YNz) : MACRO ProperInterval = proper_Div(X,YNz) ;/(x,YNz) : MACRO ProperInterval = [|x|]/YNz ;/(X,ynz) : MACRO ProperInterval = X/[|ynz|] ;^(X,n) : MACRO ProperInterval = proper_Pow(X,n) END symbols_as_proper ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28