1 | initial version |
It is funny.
1/sv
gives the expectet answer:
...
TypeError: unsupported operand parent(s) for '/': 'Integer Ring' and
'Vector space of dimension 3 over Symbolic Ring'
The vector sv has a division operator, which makes sense if interpreted as scalar multiplication:
sv.__div__(2)
(1/2, 1/2*a, 1/2*b^2)
The expression sv/2 is element of a vector space:
(sv/2).parent()
Vector space of dimension 3 over Symbolic Ring
As far nothing to complain.
I don't know why, but the expression sv/sv is astonishingly an element of the Symbolic Ring:
(sv/sv).parent()
Symbolic Ring
2 | No.2 Revision |
It is funny.
1/sv
gives the expectet expected answer:
...
TypeError: unsupported operand parent(s) for '/': 'Integer Ring' and
'Vector space of dimension 3 over Symbolic Ring'
The vector sv has a division operator, which makes sense if interpreted as scalar multiplication:
sv.__div__(2)
(1/2, 1/2*a, 1/2*b^2)
The expression sv/2 is element of a vector space:
(sv/2).parent()
Vector space of dimension 3 over Symbolic Ring
As far nothing to complain.
I don't know why, but the expression sv/sv is astonishingly an element of the Symbolic Ring:
(sv/sv).parent()
Symbolic Ring