Question: Detecting the determinant of a Kronecker product

It can take a lot of time to verify the equality of the determinant of a Kronecker Product and the Zehfuss determinant. See attached worksheet)



As Acer has pointed out Abstract Linear Algebra is not implemented in Maple.
https://mapleprimes.com/questions/239405-How-To-Force-Maple-To-Use-Basic-Math-Results

Today I have been trying to replace the determinant of a Kronecker product by an unevaluated Zehfuss determinant. The first problem is how to detect whether there is a determinant of a Kronecker product present in an expression. Neither I nor Copilot, ChatGPT, Gemini and Claude were able to take this first step (although all the AI programs were very optimistically continuously presenting new code with the same disappointing results). 

Maple_vraag.mw

Please Wait...