Macaulay2 » Documentation
Packages » NumericalSchubertCalculus :: checkIncidenceSolution
next | previous | forward | backward | up | index | toc

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

- 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.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/NumericalSchubertCalculus/doc.m2:624:0.