Fix type of division.
This commit is contained in:
parent
8e7484c44c
commit
7c6cf0fa8b
|
@ -1188,9 +1188,8 @@
|
|||
(commutative-case -InexactReal (Un -PosRat -NegRat -InexactReal) -InexactReal)
|
||||
(varop-1+ -InexactReal)
|
||||
;; reals
|
||||
(varop-1+ -PosReal)
|
||||
(-> -NegReal -NegReal)
|
||||
(-> -NonPosReal -NonPosReal)
|
||||
(varop-1+ -PosReal -NonNegReal)
|
||||
(-> -NegReal -NonPosReal)
|
||||
(-> -NegReal -NegReal -NonNegReal)
|
||||
(-> -NegReal -PosReal -NonPosReal)
|
||||
(-> -PosReal -NegReal -NonPosReal)
|
||||
|
|
Loading…
Reference in New Issue
Block a user