2024-02-15 10:26:16 +0200 | received badge | ● Famous Question (source) |
2023-09-06 09:45:36 +0200 | received badge | ● Notable Question (source) |
2023-09-06 09:45:36 +0200 | received badge | ● Popular Question (source) |
2021-12-21 11:21:06 +0200 | received badge | ● Popular Question (source) |
2021-12-21 11:21:06 +0200 | received badge | ● Notable Question (source) |
2016-04-04 12:23:23 +0200 | received badge | ● Student (source) |
2015-05-27 16:59:07 +0200 | asked a question | Symbolic Linear Algebra I'd like to manipulate symbolic expression in linear algebra. More specifically, suppose that A,B, etc. are matrices and v,w,.. etc are column vectors. I have various expressions in them that I'd like expanded and grouped. It also should know about transpose (that it's an involution). For example, if I write the expression: transpose(v-w)A(v-w). It should be able to expand this to transpose(v)Av - transpose(v)Aw - transpose(w)Av + transpose(w)Aw Also, I'd like to specify that A is symmetric -- A == transpose(A). In that case the above would simplify to transpose(v)Av - 2transpose(v)Aw + transpose(w)A*w if we idenfity a 1 by 1 matrix with a scalar. It would also be nice, if we could specify symbolic scalars, and, for example to say that A in hom(V,W), where V,W are some vector spaces. In that case if we try to multiply things that are incompatible we would get an error. This looks like it should be part of some sort of universal algebra package. Does such a thing exist in SAGE? |
2015-05-19 21:51:14 +0200 | asked a question | qepcad on sagemath cloud Right now, qepcad isn't working in the sagemath cloud (I get "Unable to load QEPCAD"). Can this be fixed? |