sets poly ring caching to false for algebraic geometry

Author: ederc

src/AlgebraicGeometry/Schemes/AffineSchemes/Morphisms/Methods.jl

@@ -315,7 +315,7 @@ function product(X::AbsAffineScheme{BRT, RT}, Y::AbsAffineScheme{BRT, RT};
   else
     new_symb = vcat(new_symb, Symbol.([change_var_names_to[2]*"$i" for i in 1:ngens(L)]))
   end
-  KL, z = polynomial_ring(k, new_symb)
+  KL, z = polynomial_ring(k, new_symb; cached=false)
   XxY = spec(KL)
   pr1 = morphism(XxY, X, gens(KL)[1:m], check=false)
   pr2 = morphism(XxY, Y, gens(KL)[m+1:m+n], check=false)
@@ -371,7 +371,7 @@ function product(X::StdAffineScheme, Y::StdAffineScheme;
   else
     new_symb = vcat(new_symb, Symbol.([change_var_names_to[2]*"$i" for i in 1:ngens(S)]))
   end
-  RS, z = polynomial_ring(k, new_symb)
+  RS, z = polynomial_ring(k, new_symb; cached=false)
   inc1 = hom(R, RS, gens(RS)[1:m], check=false)
   inc2 = hom(S, RS, gens(RS)[m+1:m+n], check=false)
   IX = ideal(RS, inc1.(gens(modulus(underlying_quotient(OO(X))))))

src/AlgebraicGeometry/Schemes/AffineSchemes/Objects/Methods.jl

@@ -425,7 +425,7 @@ end
 function _change_base_ring(phi::Any, R::MPolyRing)
   K = coefficient_ring(R)
   kk = parent(phi(zero(K)))
-  P, _ = polynomial_ring(kk, symbols(R))
+  P, _ = polynomial_ring(kk, symbols(R); cached=false)
   Phi = hom(R, P, phi, gens(P); check=false)
   return P, Phi
 end