|
294 | 294 | } |
295 | 295 | }, { |
296 | 296 | "description": "The function `0.5x'Qx + a'x + b`, where `a` is a sparse vector of `ScalarAffineTerm`s in `affine_terms`, `b` is the scalar `constant`, and `Q` is a symmetric matrix specified by a list of `ScalarQuadraticTerm`s in `quadratic_terms`. Duplicate indices in `affine_terms` and `quadratic` are accepted, and the corresponding coefficients are summed together. Mirrored indices in `quadratic_terms` (i.e., `(i,j)` and `(j, i)`) are considered duplicates; only one need to be specified.", |
297 | | - "examples": ["{\"head\": \"ScalarAffineFunction\", \"constant\": 1.0, \"affine_terms\": [{\"coefficient\": 2.5, \"variable\": \"x\"}], \"quadratic_terms\": [{\"coefficient\": 2.0, \"variable_1\": \"x\", \"variable_2\": \"y\"}]}"], |
| 297 | + "examples": ["{\"head\": \"ScalarQuadraticFunction\", \"constant\": 1.0, \"affine_terms\": [{\"coefficient\": 2.5, \"variable\": \"x\"}], \"quadratic_terms\": [{\"coefficient\": 2.0, \"variable_1\": \"x\", \"variable_2\": \"y\"}]}"], |
298 | 298 | "required": ["constant", "affine_terms", "quadratic_terms"], |
299 | 299 | "properties": { |
300 | 300 | "head": { |
|
648 | 648 | } |
649 | 649 | } |
650 | 650 | }, { |
| 651 | + "description": "{[t, X] ∈ R^{1 + d(d+1)/2} : t ≤ det(X)^{1/d}}, where the matrix `X` is represented in the same symmetric packed format as in the `PositiveSemidefiniteConeTriangle`. The argument `side_dimension` is the side dimension of the matrix `X`, i.e., its number of rows or columns.", |
| 652 | + "examples": ["{\"head\": \"RootDetConeTriangle\", \"side_dimension\": 2}"], |
651 | 653 | "required": ["side_dimension"], |
652 | 654 | "properties": { |
653 | 655 | "head": { |
654 | | - "enum": [ |
655 | | - "RootDetConeTriangle", "RootDetConeSquare", |
656 | | - "LogDetConeTriangle", "LogDetConeSquare", |
657 | | - "PositiveSemidefiniteConeTriangle", |
658 | | - "PositiveSemidefiniteConeSquare" |
659 | | - ] |
| 656 | + "const": "RootDetConeTriangle" |
| 657 | + }, |
| 658 | + "side_dimension": { |
| 659 | + "type": "integer", |
| 660 | + "minimum": 1 |
| 661 | + } |
| 662 | + } |
| 663 | + }, { |
| 664 | + "description": "{[t, X] ∈ R^{1 + d^2} : t ≤ det(X)^{1/d}, X symmetric}, where the matrix `X` is represented in the same symmetric packed format as in the `PositiveSemidefiniteConeSquare`. The argument `side_dimension` is the side dimension of the matrix `X`, i.e., its number of rows or columns.", |
| 665 | + "examples": ["{\"head\": \"RootDetConeSquare\", \"side_dimension\": 2}"], |
| 666 | + "required": ["side_dimension"], |
| 667 | + "properties": { |
| 668 | + "head": { |
| 669 | + "const": "RootDetConeSquare" |
| 670 | + }, |
| 671 | + "side_dimension": { |
| 672 | + "type": "integer", |
| 673 | + "minimum": 1 |
| 674 | + } |
| 675 | + } |
| 676 | + }, { |
| 677 | + "description": "{[t, u, X] ∈ R^{2 + d(d+1)/2} : t ≤ u log(det(X/u)), u > 0}, where the matrix `X` is represented in the same symmetric packed format as in the `PositiveSemidefiniteConeTriangle`. The argument `side_dimension` is the side dimension of the matrix `X`, i.e., its number of rows or columns.", |
| 678 | + "examples": ["{\"head\": \"LogDetConeTriangle\", \"side_dimension\": 2}"], |
| 679 | + "required": ["side_dimension"], |
| 680 | + "properties": { |
| 681 | + "head": { |
| 682 | + "const": "LogDetConeTriangle" |
| 683 | + }, |
| 684 | + "side_dimension": { |
| 685 | + "type": "integer", |
| 686 | + "minimum": 1 |
| 687 | + } |
| 688 | + } |
| 689 | + }, { |
| 690 | + "description": "{[t, u, X] ∈ R^{2 + d^2} : t ≤ u log(det(X/u)), X symmetric, u > 0}, where the matrix `X` is represented in the same symmetric packed format as in the `PositiveSemidefiniteConeSquare`. The argument `side_dimension` is the side dimension of the matrix `X`, i.e., its number of rows or columns.", |
| 691 | + "examples": ["{\"head\": \"LogDetConeSquare\", \"side_dimension\": 2}"], |
| 692 | + "required": ["side_dimension"], |
| 693 | + "properties": { |
| 694 | + "head": { |
| 695 | + "const": "LogDetConeSquare" |
| 696 | + }, |
| 697 | + "side_dimension": { |
| 698 | + "type": "integer", |
| 699 | + "minimum": 1 |
| 700 | + } |
| 701 | + } |
| 702 | + }, { |
| 703 | + "description": "The (vectorized) cone of symmetric positive semidefinite matrices, with `side_dimension` rows and columns. The entries of the upper-right triangular part of the matrix are given column by column (or equivalently, the entries of the lower-left triangular part are given row by row).", |
| 704 | + "examples": ["{\"head\": \"PositiveSemidefiniteConeTriangle\", \"side_dimension\": 2}"], |
| 705 | + "required": ["side_dimension"], |
| 706 | + "properties": { |
| 707 | + "head": { |
| 708 | + "const": "PositiveSemidefiniteConeTriangle" |
| 709 | + }, |
| 710 | + "side_dimension": { |
| 711 | + "type": "integer", |
| 712 | + "minimum": 1 |
| 713 | + } |
| 714 | + } |
| 715 | + }, { |
| 716 | + "description": "The cone of symmetric positive semidefinite matrices, with side length `side_dimension`. The entries of the matrix are given column by column (or equivalently, row by row). The matrix is both constrained to be symmetric and to be positive semidefinite. That is, if the functions in entries `(i, j)` and `(j, i)` are different, then a constraint will be added to make sure that the entries are equal.", |
| 717 | + "examples": ["{\"head\": \"PositiveSemidefiniteConeSquare\", \"side_dimension\": 2}"], |
| 718 | + "required": ["side_dimension"], |
| 719 | + "properties": { |
| 720 | + "head": { |
| 721 | + "const": "PositiveSemidefiniteConeSquare" |
660 | 722 | }, |
661 | 723 | "side_dimension": { |
662 | 724 | "type": "integer", |
|
0 commit comments