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, A matrix of size $n\times k$ representing a solution to the Schubert problem P
Outputs:
- a Boolean value, 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 a method function.