From aec82358eeabbd85b3484c0305ec88004fa91602 Mon Sep 17 00:00:00 2001
From: Quaternions <krakow20@gmail.com>
Date: Sat, 2 Dec 2023 03:05:53 -0800
Subject: [PATCH] comment about conceptual failure case

---
 src/zeroes.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/zeroes.rs b/src/zeroes.rs
index 0991dd0..d302456 100644
--- a/src/zeroes.rs
+++ b/src/zeroes.rs
@@ -9,6 +9,7 @@ pub fn zeroes2(a0:Planar64,a1:Planar64,a2:Planar64) -> Vec<Planar64>{
 	let radicand=a1.get() as i128*a1.get() as i128-a2.get() as i128*a0.get() as i128*4;
 	if 0<radicand {
 		//start with f64 sqrt
+		//failure case: 2^63 < sqrt(2^127)
 		let planar_radicand=Planar64::raw(unsafe{(radicand as f64).sqrt().to_int_unchecked()});
 		//TODO: one or two newtons
 		//sort roots ascending and avoid taking the difference of large numbers