From 6e0caac90f3bbe4e58a9c3bb5478411b455249ee Mon Sep 17 00:00:00 2001 From: Max Horn Date: Tue, 15 Oct 2024 11:02:12 +0200 Subject: [PATCH] Adjust booktest --- test/book/cornerstones/groups/intro.jlcon | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/test/book/cornerstones/groups/intro.jlcon b/test/book/cornerstones/groups/intro.jlcon index 20e0e4f98c9a..4ae590df2d08 100644 --- a/test/book/cornerstones/groups/intro.jlcon +++ b/test/book/cornerstones/groups/intro.jlcon @@ -62,13 +62,7 @@ julia> pts = collect(orb) julia> visualize(convex_hull(pts)) -julia> R2 = free_module(K, 2) # the "euclidean" plane over K -Vector space of dimension 2 over QQBar - -julia> A = R2([0,1]) -(Root 0 of x, Root 1.00000 of x - 1) - -julia> pts = [A*mat_rot^i for i in 0:4]; +julia> R2 = vector_space(K, 2); # the "euclidean" plane over K julia> sigma_1 = hom(R2, R2, [-R2[1], R2[2]]) Module homomorphism