Skip to content
Snippets Groups Projects
Open Make Qp operations reduce on constants
  • View options
  • Make Qp operations reduce on constants

  • View options
  • Open Issue created by Tej Chajed

    It would be nice if (1/2 + 1/2 = 1)%Qp were definitionally true, by changing the computational behavior of Qp constants and addition.

    We started discussing this in !188 (merged), for example starting at this comment: !188 (comment 57439)

    • Merge request
    • Branch

    Linked items ... 0

  • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading