checkIncidenceSolution -- check if a solution satisfies an instance of a Schubert problem

Synopsis

• Usage:
checkIncidenceSolution(s, P)
• Inputs:
• P, a list, An instance of a Schubert problem as a list {($l_1,F_1$),...,($l_m,F_m$)}
• s, , A matrix of size $n\times k$ representing a solution to the Schubert problem P
• Outputs:
• , true if s satisfies all the incidence conditions

Description

For each pair $(l,F)$ in the Schubert problem $P$, where $l$ is a Schubert condition given as a partition, and $F$ is a flag given as an $n \times n$ matrix, the function verifies if the matrix $s$ satisfies the incidence conditions imposed by $l$ with respect to the flag $F$, for each of the pairs in $P$, by computing the corresponding minor conditions.

Caveat

This function was created for testing purposes and will be deleted later as it may not be numerically stable.

Ways to use checkIncidenceSolution :

• "checkIncidenceSolution(Matrix,List)"

For the programmer

The object checkIncidenceSolution is .