set shallow flag to true

PBrdng · PBrdng · commit af8d72c8ea34 · 2024-08-28T12:02:59.000+02:00
diff --git a/src/certification.jl b/src/certification.jl
@@ -621,7 +621,7 @@ function CertificationCache(F::AbstractSystem)
     )
 end
 
-Base.setprecision(M::AcbRefMatrix, p::Int) = AcbRefMatrix(M.acb_mat; prec = p)
+Base.setprecision(M::AcbRefMatrix, p::Int) = AcbRefMatrix(M.acb_mat; shallow = true, prec = p)
 function set_arb_precision!(cache::CertificationCache, p::Int)
     cache.arb_prec == p && return cache
     cache.arb_prec = p

Original file line number	Diff line number	Diff line change
`@@ -621,7 +621,7 @@ function CertificationCache(F::AbstractSystem)`
`621`	`621`	`)`
`622`	`622`	`end`
`623`	`623`
`624`		`-Base.setprecision(M::AcbRefMatrix, p::Int) = AcbRefMatrix(M.acb_mat; prec = p)`
	`624`	`+Base.setprecision(M::AcbRefMatrix, p::Int) = AcbRefMatrix(M.acb_mat; shallow = true, prec = p)`
`625`	`625`	`function set_arb_precision!(cache::CertificationCache, p::Int)`
`626`	`626`	`cache.arb_prec == p && return cache`
`627`	`627`	`cache.arb_prec = p`