From f31605527280aa02ddac987c7c710a4d3661e608 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 | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/test/book/cornerstones/groups/intro.jlcon b/test/book/cornerstones/groups/intro.jlcon index 20e0e4f98c9a..10ef94c518f8 100644 --- a/test/book/cornerstones/groups/intro.jlcon +++ b/test/book/cornerstones/groups/intro.jlcon @@ -62,18 +62,12 @@ 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 - from vector space of dimension 2 over QQBar - to vector space of dimension 2 over QQBar + from vector space of dimension 2 over field of algebraic numbers + to vector space of dimension 2 over field of algebraic numbers julia> rot = hom(R2, R2, mat_rot);