Both affine schemes are nonempty and have the same three rational points under the induced map. A has a nonzero order-three nilpotent while B is reduced, so they are not isomorphic.
RESULT_JSON:{"a_multiplication":[[[1,0,0,0,0],[0,0,0,0,0],[0,0,0,0,0],[0,0,0,1,0],[0,0,0,0,1]],[[0,0,0,0,0],[0,1,0,0,0],[0,0,0,0,0],[0,0,0,0,0],[0,0,0,0,0]],[[0,0,0,0,0],[0,0,0,0,0],[0,0,1,0,0],[0,0,0,0,0],[0,0,0,0,0]],[[0,0,0,1,0],[0,0,0,0,0],[0,0,0,0,0],[0,0,0,0,1],[0,0,0,0,0]],[[0,0,0,0,1],[0,0,0,0,0],[0,0,0,0,0],[0,0,0,0,0],[0,0,0,0,0]]],"a_points":[[0,0,1,0,0],[0,1,0,0,0],[1,0,0,0,0]],"a_unit":[1,1,1,0,0],"b_multiplication":[[[1,0,0],[0,0,0],[0,0,0]],[[0,0,0],[0,1,0],[0,0,0]],[[0,0,0],[0,0,0],[0,0,1]]],"b_points":[[0,0,1],[0,1,0],[1,0,0]],"b_reduced":true,"b_unit":[1,1,1],"field_prime":5,"induced_point_map":[0,1,2],"morphism_columns":[[1,0,0,0,0],[0,1,0,0,0],[0,0,1,0,0]],"nilpotent":{"exact_order":3,"power2":[0,0,0,0,1],"power3":[0,0,0,0,0],"vector":[0,0,0,1,0]}}
