added validation to examples for Hensel

examplesHensel/example1.jl

@@ -95,7 +95,7 @@ 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) = hensel_validate(128,fi,gi,hi);
+@time (grv,hrv) = validate_Hensel_a_posteriori(128,fi,gi,hi)
 degree(grv)
 degree(hrv)
 

examplesHensel/example10.jl

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

examplesHensel/example11.jl

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

examplesHensel/example12.jl

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

examplesHensel/example13.jl

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

examplesHensel/example3.jl

@@ -102,9 +102,10 @@ fr = convert_polynomial(Fq,[RXY,RX],RDF)
 deg = 32
 @time (gqstar, hqstar) = henseltruncate(deg,Fq,gq3,hq3)
 @time (gistar, histar) = henseltruncate(deg,fi,gi,hi)
-@time (gvstar, hvstar) = henseltruncate(deg,fi,gi,hi,validation = true)#@time (grstar, hrstar) = henseltruncate(128,fr,gr,hr)
+@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) = hensel_validate(deg,fi,gi,hi, imax = 5);
+@time (grv,hrv) = validate_Hensel_a_posteriori(deg,fi,gi,hi)
 
 norm1error(grstar,gqstar)
 norm1error(hrstar,hqstar)
@@ -123,3 +124,5 @@ error_measure1(gistar, R/2)
 error_measure1(histar, R/2)
 error_measure1(gvstar, R/2)
 error_measure1(hvstar, R/2)
+error_measure1(grv, R/2)
+error_measure1(hrv, R/2)
\ No newline at end of file

examplesHensel/example4.jl

@@ -98,6 +98,7 @@ deg = 128
 @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) = hensel_validate(deg,fi,gi,hi);
+@time (grv, hrv) = validate_Hensel_a_posteriori(deg,fi,gi,hi)
 
 norm1error(grstar,gqstar)
 norm1error(hrstar,hqstar)

examplesHensel/example5.jl

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

examplesHensel/example6.jl

@@ -92,12 +92,12 @@ hr = convert_polynomial(hq,[RXY,RX],RDF)
 fi = convert_polynomial(fq, [RBXY,RBX], RR)
 fr = convert_polynomial(fq,[RXY,RX],RDF)
 
-deg = 128
+deg = 16#128
 @time (gqstar, hqstar) = henseltruncate(deg,fq,gq,hq)
 @time (gistar, histar) = henseltruncate(deg,fi,gi,hi)
-@time (gvstar, hvstar) = henseltruncate(deg,fi,gi,hi,validation = true)#@time (grstar, hrstar) = henseltruncate(128,fr,gr,hr)
+@time (gvstar, hvstar) = henseltruncate(deg,fi,gi,hi,validation = true)
 @time (grstar, hrstar) = henseltruncate(deg,fr,gr,hr)
-@time (grv,hrv) = hensel_validate(deg,fi,gi,hi);
+@time (grv, hrv) = validate_Hensel_a_posteriori(deg,fi,gi,hi)
 
 norm1error(grstar,gqstar)
 norm1error(hrstar,hqstar)

examplesHensel/example7.jl

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

examplesHensel/example8.jl

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

examplesHensel/example9.jl

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