Automatic case discussion.
>
|
|
>
|
|
Assume we have two variables y and z that have the same square and z is a 4th root of -1. Suppose we need to compute modulo this relation.
>
|
|
>
|
|
We want to compute the inverse of the previous matrix.
>
|
|
| (4) |
Let us check the first result.
>
|
|
>
|
|
Consider now this other matrix.
>
|
|
>
|
|
| (8) |
>
|
|
>
|
|
>
|
|
>
|
|
Get a generic answer that would hold both cases.
>
|
|
| (13) |
Check.
>
|
|