From e6ff891b64f6058e31c55a3dee12f30261ca0154 Mon Sep 17 00:00:00 2001
From: Matthias Zach <zach@math.uni-hannover.de>
Date: Wed, 17 May 2023 11:06:28 +0200
Subject: [PATCH] Remove oscar. stuff.

---
 test/AlgebraicGeometry/Schemes/AffineSchemes.jl | 14 +++++++-------
 test/AlgebraicGeometry/Schemes/CoveredScheme.jl |  4 ++--
 test/AlgebraicGeometry/Schemes/Glueing.jl       |  2 +-
 3 files changed, 10 insertions(+), 10 deletions(-)

diff --git a/test/AlgebraicGeometry/Schemes/AffineSchemes.jl b/test/AlgebraicGeometry/Schemes/AffineSchemes.jl
index cc4d961e7f73..ecf5bc594f10 100644
--- a/test/AlgebraicGeometry/Schemes/AffineSchemes.jl
+++ b/test/AlgebraicGeometry/Schemes/AffineSchemes.jl
@@ -194,10 +194,10 @@ end
   V = hypersurface_complement(X, x)
 
   kk, pr = quo(ZZ, 5)
-  IA2_red, phi1 = oscar.base_change(pr, IA2)
-  X_red, phi2 = oscar.base_change(pr, X)
-  U_red, phi3 = oscar.base_change(pr, U)
-  V_red, phi4 = oscar.base_change(pr, V)
+  IA2_red, phi1 = base_change(pr, IA2)
+  X_red, phi2 = base_change(pr, X)
+  U_red, phi3 = base_change(pr, U)
+  V_red, phi4 = base_change(pr, V)
 
   m1 = compose(inclusion_morphism(V_red, IA2_red), phi1);
   m2 = compose(phi4, inclusion_morphism(V, IA2));
@@ -205,16 +205,16 @@ end
 
   # Testing morphisms 
   inc_U = inclusion_morphism(V, X)
-  (a, b, c) = oscar.base_change(pr, inc_U)
+  (a, b, c) = base_change(pr, inc_U)
   @test compose(a, inc_U) == compose(b, c)
 
   # Behaviour for special types
   U = PrincipalOpenSubset(IA2, y)
-  UU, f = oscar.base_change(pr, U)
+  UU, f = base_change(pr, U)
   @test UU isa PrincipalOpenSubset
 
   W = SpecOpen(IA2, [x, y])
-  WW, f = oscar.base_change(pr, W)
+  WW, f = base_change(pr, W)
   @test WW isa SpecOpen
 end
 
diff --git a/test/AlgebraicGeometry/Schemes/CoveredScheme.jl b/test/AlgebraicGeometry/Schemes/CoveredScheme.jl
index dfd7bf2f36b8..4de1758fa16d 100644
--- a/test/AlgebraicGeometry/Schemes/CoveredScheme.jl
+++ b/test/AlgebraicGeometry/Schemes/CoveredScheme.jl
@@ -221,7 +221,7 @@ end
 @testset "base change" begin
   kk, pr = quo(ZZ, 5)
   IP1 = covered_scheme(projective_space(ZZ, 1))
-  IP1_red, red_map = oscar.base_change(pr, IP1)
+  IP1_red, red_map = base_change(pr, IP1)
   
   IP2 = projective_space(ZZ, 2)
   S = homogeneous_coordinate_ring(IP2)
@@ -231,6 +231,6 @@ end
   II = IdealSheaf(IP2, I)
 
   inc_X = oscar.CoveredClosedEmbedding(IP2_cov, II)
-  (a, b, c) = oscar.base_change(pr, inc_X)
+  (a, b, c) = base_change(pr, inc_X)
   @test compose(a, inc_X) == compose(b, c)
 end
diff --git a/test/AlgebraicGeometry/Schemes/Glueing.jl b/test/AlgebraicGeometry/Schemes/Glueing.jl
index 2b6eab060c76..8ce72dd104f9 100644
--- a/test/AlgebraicGeometry/Schemes/Glueing.jl
+++ b/test/AlgebraicGeometry/Schemes/Glueing.jl
@@ -128,7 +128,7 @@ end
   IP1 = covered_scheme(projective_space(ZZ, 1))
   C = default_covering(IP1)
   G = first(values(glueings(C)))
-  GG = oscar.base_change(pr, G)
+  GG = base_change(pr, G)
   @test underlying_glueing(GG) isa SimpleGlueing
 end