Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

feat(inner_product_space/positive): matrix.pos_semidef iff x.to_euclidean_lin.is_positive #18786

Open
wants to merge 10 commits into
base: master
Choose a base branch
from
Open

feat(inner_product_space/positive): matrix.pos_semidef iff x.to_euclidean_lin.is_positive #18786

wants to merge 10 commits into from

Commits on Jan 19, 2023

  1. chore(inner_product_space/positive): some lemmas

    @themathqueen
    themathqueen committed Jan 19, 2023
    Configuration menu
    Copy the full SHA
    4831680 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2023

  1. fix

    @themathqueen
    themathqueen committed Jan 24, 2023
    Configuration menu
    Copy the full SHA
    4c0719b View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2023

  1. changes after review

    @themathqueen
    themathqueen committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    bcafe44 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2023

  1. fix

    @themathqueen
    themathqueen committed Jan 30, 2023
    Configuration menu
    Copy the full SHA
    d0161f0 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. Merge branch 'master' into inner_product_space_positive

    @eric-wieser
    eric-wieser authored Apr 4, 2023
    Configuration menu
    Copy the full SHA
    aca9fef View commit details
    Browse the repository at this point in the history

  2. delete pairwise_orthogonal

    @eric-wieser
    eric-wieser committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    85b8249 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. fixes

    @themathqueen
    themathqueen committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    bce4f55 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2023

  1. change name and remove lemma

    @themathqueen
    themathqueen committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    e8b14bd View commit details
    Browse the repository at this point in the history

  2. move results to new pr

    @themathqueen
    themathqueen committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    ee544c3 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. feat(inner_product_space/positive): matrix.pos_semidef iff x.to_eucli… 

    …dean_lin.is_positive
    @themathqueen
    themathqueen committed Apr 10, 2023
    Configuration menu
    Copy the full SHA
    8b9324d View commit details
    Browse the repository at this point in the history