Remove oscar. stuff.

oscar-system · May 17, 2023 · e6ff891 · e6ff891
1 parent 19c9180
commit e6ff891
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 10 deletions.
diff --git a/test/AlgebraicGeometry/Schemes/AffineSchemes.jl b/test/AlgebraicGeometry/Schemes/AffineSchemes.jl
@@ -194,27 +194,27 @@ 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));
   @test m1 == m2
 
   # 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
@@ -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
@@ -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