Hi all,
I just stumbled across this thread :) and am curious, what the best way
would be to add ESPRESSO to sage.
Judging the package type for ESPRESSO from the sage packaging doc
referenced by Matthias, I'd say its definitly not a pip package ;) however
I'm not sure I understand the difference
While working on #25633 I stumbled over the below behaviour:
Here, the vector_space method behaves differently, depending on wether
called from an object which is a vector space itself or a finite field.
sage: (GF(2)^2).vector_space()
Vector space of dimension 2 over Finite Field of size 2
sage: