[libre-riscv-dev] [Bug 122] FP software emulation needed,

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Wed Jul 31 21:04:44 BST 2019


http://bugs.libre-riscv.org/show_bug.cgi?id=122

--- Comment #3 from Jacob Lifshay <programmerjake at gmail.com> ---
(In reply to Jacob Lifshay from comment #2)
> implemented comparison between quadratic numbers, working on addition.
> 
> My brain is fried for the day, had to derive quadratic_less_than:
> https://salsa.debian.org/Kazan-team/algebraics/blob/
> 190761b189d62870ffdb83639a9ff6ccae72f262/src/quadratic_numbers.rs#L602

quadratic_less_than implements comparing two non-equal irrational quadratic
numbers:
it returns lhs < rhs by using exact BigInt arithmetic and without using sqrt.

the full general less/equal/greater comparison is implemented in "impl Ord for
RealQuadraticNumber"

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the libre-riscv-dev mailing list