2016-08-09 17:14:22 +0200 | asked a question | Does right_kernel_matrix support assumptions over the symbolic ring? I'm trying to a basis for the kernel of a symbolic matrix. However, exactly quite what the kernel is depends on the assumptions that have been made. It seems that although other matrix functions (e.g. calculating the inverse) respect assumptions the kernel function doesn't. Here is an example: Am I missing something here? Is it possible to use this function with assumptions? |