examples Hensel

examplesHensel/example1.jl

@@ -95,9 +95,9 @@ fr = convert_polynomial(fq,[RXY,RX],RDF)
 @time (gistar, histar) = henseltruncate(128,fi,gi,hi)
 @time (gvstar, hvstar) = henseltruncate(128,fi,gi,hi,validation = true)#@time (grstar, hrstar) = henseltruncate(128,fr,gr,hr)
 @time (grstar, hrstar) = henseltruncate(128,fr,gr,hr)
-@time (grv,hrv) = validate_Hensel_a_posteriori(128,fi,gi,hi)
-degree(grv)
-degree(hrv)
+@time (grv,hrv) = validate_Hensel_a_posteriori(128,fi,gi,hi);
+#degree(grv)
+#degree(hrv)
 
 norm1error(grstar,gqstar)
 norm1error(hrstar,hqstar)

examplesHensel/example13.jl

@@ -36,7 +36,7 @@ hq = y_q^30 +2
 
 R = 0.2439395990
 
-hensel_test(fr,gr,hr,fq,gq,hq,7, R)
+#hensel_test(fr,gr,hr,fq,gq,hq,7, R)
 
 
 BivPolMod!(gq,1)

examplesHensel/example3.jl

@@ -105,7 +105,7 @@ deg = 32
 @time (gvstar, hvstar) = henseltruncate(deg,fi,gi,hi,validation = true)
 #@time (grstar, hrstar) = henseltruncate(128,fr,gr,hr)
 @time (grstar, hrstar) = henseltruncate(deg,fr,gr,hr)
-@time (grv,hrv) = validate_Hensel_a_posteriori(deg,fi,gi,hi)
+@time (grv,hrv) = validate_Hensel_a_posteriori(deg,fi,gi,hi);
 
 norm1error(grstar,gqstar)
 norm1error(hrstar,hqstar)