Проверка условия
Ход исключения целиком
Результат расчёта
Установлено
Исходные параметры
Что определяем
расчёт дал отчёт: классификация либо явно названное исчерпание бюджета
Исходные факты
расчёт: одна система уравнений
c: denseОбщий субъект фактов ниже
предъявлена система из n уравнений с n неизвестными и бюджет преобразований
n: 3budget: 10коэффициент a_ij при j-й неизвестной в i-м уравнении
i j v 1 1 2 1 2 1 1 3 −1 2 1 −3 2 2 −1 2 3 2 3 1 −2 3 2 1 3 3 2 свободный член b_i i-го уравнения
i v 1 8 2 −11 3 −3
Пакет: calc.matrix_small — ОБЩИЙ ВЫЧИСЛИТЕЛЬ, НЕ АКТ: пошаговое исключение Гаусса для квадратной системы A·x = b размера 1..6 с точными рациональными коэффициентами (DECISION-0123). Ни юрисдикции, ни нормативного источника у него нет. Ему передают заголовок system(c, n, budget), коэффициенты coefficient(c, i, j, p/q) и свободные члены constant(c, i, p/q); он строит снимки расширенной матрицы, выбирает ведущий элемент (первая строка с ненулевым коэффициентом), переставляет строки, вычисляет множители и преобразует строки, отвечает рангами A и [A|b], определителем, классификацией UNIQUE/INCONSISTENT/INFINITE, решением с проверкой подстановкой либо опорными и свободными неизвестными; бюджет считает элементарные преобразования, его исчерпание — явный незавершённый расчёт. Проверен сценариями §267, байтовый differential lawc/lawref.
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"urn:calc:matrix:dense"
],
"facts": [
{
"args": [
"urn:calc:matrix:dense",
3,
10
],
"predicate": "system"
},
{
"args": [
"urn:calc:matrix:dense",
1,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-3/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "8/1"
}
],
"predicate": "constant"
},
{
"args": [
"urn:calc:matrix:dense",
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-11/1"
}
],
"predicate": "constant"
},
{
"args": [
"urn:calc:matrix:dense",
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-3/1"
}
],
"predicate": "constant"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "calc-matrix-small",
"predicate": "report",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода145 шагов
- 1происхождение не записано
конечный домен индексов строк и столбцов: 1..7
i: 1
- 2происхождение не записано
конечный домен индексов строк и столбцов: 1..7
i: 2
- 3происхождение не записано
конечный домен индексов строк и столбцов: 1..7
i: 3
- 4происхождение не записано
конечный домен индексов строк и столбцов: 1..7
i: 4
- 5происхождение не записано
конечный домен номеров снимков: 0..40
k: 0
- 6происхождение не записано
конечный домен номеров снимков: 0..40
k: 1
- 7происхождение не записано
конечный домен номеров снимков: 0..40
k: 2
- 8происхождение не записано
конечный домен номеров снимков: 0..40
k: 3
- 9факт дела
предъявлена система из n уравнений с n неизвестными и бюджет преобразований
c: urn:calc:matrix:dense; n: 3; budget: 10
- 10факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 3; j: 3; v: 2
- 11факт дела
свободный член b_i i-го уравнения
c: urn:calc:matrix:dense; i: 1; v: 8
- 12факт дела
свободный член b_i i-го уравнения
c: urn:calc:matrix:dense; i: 2; v: −11
- 13факт дела
свободный член b_i i-го уравнения
c: urn:calc:matrix:dense; i: 3; v: −3
- 14факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 1; j: 1; v: 2
- 15факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 1; j: 2; v: 1
- 16факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 1; j: 3; v: −1
- 17факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 2; j: 1; v: −3
- 18факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 2; j: 2; v: −1
- 19факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 2; j: 3; v: 2
- 20факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 3; j: 1; v: −2
- 21факт дела
коэффициент a_ij при j-й неизвестной в i-м уравнении
c: urn:calc:matrix:dense; i: 3; j: 2; v: 1
- 22правило
область вычисления: 1 ≤ n ≤ 6, 0 ≤ бюджет ≤ 40, ровно n·n коэффициентов и n свободных членов, дефектов входа нет
вход допустим: размер и бюджет в границах, ячейки полны и однозначны: c: urn:calc:matrix:dense; n: 3; budget: 10
Идентификатор
urn:law:calc:matrix-small#AdmissibleInput - 23правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 2; j: 2; v: −1
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 24правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 2; j: 1; v: −3
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 25правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 3; j: 2; v: 1
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 26правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 1; j: 1; v: 2
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 27правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 1; j: 2; v: 1
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 28правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 3; j: 1; v: −2
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 29правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 3; j: 3; v: 2
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 30правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 1; j: 3; v: −1
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 31правило
снимок 0: коэффициенты матрицы A
ячейка (i, j) расширенной матрицы в снимке k: c: urn:calc:matrix:dense; k: 0; i: 2; j: 3; v: 2
Идентификатор
urn:law:calc:matrix-small#InitialCoefficient - 32правило
снимок 0: свободные члены образуют столбец n+1
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#InitialConstant - 33правило
снимок 0: свободные члены образуют столбец n+1
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#InitialConstant - 34правило
снимок 0: свободные члены образуют столбец n+1
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#InitialConstant - 35правило
ячейка ненулевая: значение меньше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 0; i: 2; j: 1; v: −3
Идентификатор
urn:law:calc:matrix-small#NonzeroNegative - 36правило
ячейка ненулевая: значение больше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 0; i: 1; j: 1; v: 2
Идентификатор
urn:law:calc:matrix-small#NonzeroPositive - 37правило
снимок полон, когда получены все n·(n+1) ячеек (монотонный гард §111)
снимок k получил все n·(n+1) ячеек: c: urn:calc:matrix:dense; k: 0
Идентификатор
urn:law:calc:matrix-small#StateComplete - 38правило
прямой ход начинается с первого столбца и первой строки, знак +1
состояние прямого хода: снимок, обрабатываемый столбец, следующая ведущая строка, знак перестановок: c: urn:calc:matrix:dense; k: 0; col: 1; prow: 1; sign: 1
Идентификатор
urn:law:calc:matrix-small#Start - 39правило
перед ведущей строкой нулевых строк ещё не просмотрено
0 = 1 − 1
Идентификатор
urn:law:calc:matrix-small#ZeroBelowStart - 40правило
ведущий элемент — первая ненулевая строка после просмотренных нулевых
ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом: c: urn:calc:matrix:dense; k: 0; col: 1; r: 1; v: 2
Идентификатор
urn:law:calc:matrix-small#ChoosePivot - 41правило
ведущий элемент стоит в ожидаемой строке: исключать строки ниже неё
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#StartElimination - 42правило
множитель m = a_i,col / a_p,col читается из текущего снимка; преобразование R_i ← R_i − m·R_p — шаг бюджета
−3/2 = −3 / 2
Идентификатор
urn:law:calc:matrix-small#EliminateRow - 43правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 44правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 45правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 46правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 47правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 48правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 49правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 50правило
ячейка ненулевая: значение меньше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 1; i: 3; j: 1; v: −2
Идентификатор
urn:law:calc:matrix-small#NonzeroNegative - 51правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 52правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 53правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 54правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 55правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
1 = 0 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 56правило
снимок полон, когда получены все n·(n+1) ячеек (монотонный гард §111)
снимок k получил все n·(n+1) ячеек: c: urn:calc:matrix:dense; k: 1
Идентификатор
urn:law:calc:matrix-small#StateComplete - 57правило
после преобразования курсор переходит к следующей строке в новом снимке
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#AfterRowOp - 58правило
множитель m = a_i,col / a_p,col читается из текущего снимка; преобразование R_i ← R_i − m·R_p — шаг бюджета
−1 = −2 / 2
Идентификатор
urn:law:calc:matrix-small#EliminateRow - 59правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 60правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 61правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 62правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 63правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 64правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 65правило
ячейка ненулевая: значение больше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 2; i: 2; j: 2; v: 1/2
Идентификатор
urn:law:calc:matrix-small#NonzeroPositive - 66правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 67правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 68правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 69правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 70правило
ячейка ненулевая: значение больше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 2; i: 3; j: 2; v: 2
Идентификатор
urn:law:calc:matrix-small#NonzeroPositive - 71правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 72правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 73правило
снимок полон, когда получены все n·(n+1) ячеек (монотонный гард §111)
снимок k получил все n·(n+1) ячеек: c: urn:calc:matrix:dense; k: 2
Идентификатор
urn:law:calc:matrix-small#StateComplete - 74правило
после преобразования курсор переходит к следующей строке в новом снимке
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#AfterRowOp - 75правило
строки ниже ведущей просмотрены: следующий столбец и следующая ведущая строка
2 = 1 + 1
Идентификатор
urn:law:calc:matrix-small#ColumnDone - 76правило
перед ведущей строкой нулевых строк ещё не просмотрено
1 = 2 − 1
Идентификатор
urn:law:calc:matrix-small#ZeroBelowStart - 77правило
ведущий элемент — первая ненулевая строка после просмотренных нулевых
ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом: c: urn:calc:matrix:dense; k: 2; col: 2; r: 2; v: 1/2
Идентификатор
urn:law:calc:matrix-small#ChoosePivot - 78правило
ведущий элемент стоит в ожидаемой строке: исключать строки ниже неё
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#StartElimination - 79правило
множитель m = a_i,col / a_p,col читается из текущего снимка; преобразование R_i ← R_i − m·R_p — шаг бюджета
4 = 2 / 1/2
Идентификатор
urn:law:calc:matrix-small#EliminateRow - 80правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 81правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 82правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 83правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 84правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 85правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 86правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 87правило
строки, кроме преобразуемой, переходят в новый снимок без изменений
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpCopy - 88правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 89правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 90правило
ячейка ненулевая: значение меньше нуля
ячейка снимка с ненулевым значением: c: urn:calc:matrix:dense; k: 3; i: 3; j: 3; v: −1
Идентификатор
urn:law:calc:matrix-small#NonzeroNegative - 91правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 92правило
новая ячейка преобразуемой строки: a_ij − m·a_pj
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#RowOpTransform - 93правило
снимок полон, когда получены все n·(n+1) ячеек (монотонный гард §111)
снимок k получил все n·(n+1) ячеек: c: urn:calc:matrix:dense; k: 3
Идентификатор
urn:law:calc:matrix-small#StateComplete - 94правило
после преобразования курсор переходит к следующей строке в новом снимке
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#AfterRowOp - 95правило
строки ниже ведущей просмотрены: следующий столбец и следующая ведущая строка
3 = 2 + 1
Идентификатор
urn:law:calc:matrix-small#ColumnDone - 96правило
перед ведущей строкой нулевых строк ещё не просмотрено
2 = 3 − 1
Идентификатор
urn:law:calc:matrix-small#ZeroBelowStart - 97правило
ведущий элемент — первая ненулевая строка после просмотренных нулевых
ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом: c: urn:calc:matrix:dense; k: 3; col: 3; r: 3; v: −1
Идентификатор
urn:law:calc:matrix-small#ChoosePivot - 98правило
ведущий элемент стоит в ожидаемой строке: исключать строки ниже неё
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#StartElimination - 99правило
строки ниже ведущей просмотрены: следующий столбец и следующая ведущая строка
4 = 3 + 1
Идентификатор
urn:law:calc:matrix-small#ColumnDone - 100правило
все n столбцов обработаны: ранг A равен числу ведущих элементов
3 = 4 − 1
Идентификатор
urn:law:calc:matrix-small#ForwardDone - 101правило
произведение нуля диагональных элементов равно единице
1 = 1 / 1
Идентификатор
urn:law:calc:matrix-small#DiagonalStart - 102правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 2; j: 2; v: 1/2
Идентификатор
urn:law:calc:matrix-small#FinalCell - 103правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 1; j: 4; v: 8
Идентификатор
urn:law:calc:matrix-small#FinalCell - 104правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 1; j: 2; v: 1
Идентификатор
urn:law:calc:matrix-small#FinalCell - 105правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 2; j: 4; v: 1
Идентификатор
urn:law:calc:matrix-small#FinalCell - 106правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 1; j: 1; v: 2
Идентификатор
urn:law:calc:matrix-small#FinalCell - 107правило
умножить на следующий диагональный элемент ступенчатой матрицы
2 = 1 × 2
Идентификатор
urn:law:calc:matrix-small#DiagonalStep - 108правило
умножить на следующий диагональный элемент ступенчатой матрицы
1 = 2 × 1/2
Идентификатор
urn:law:calc:matrix-small#DiagonalStep - 109правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 3; j: 4; v: 1
Идентификатор
urn:law:calc:matrix-small#FinalCell - 110правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 3; j: 3; v: −1
Идентификатор
urn:law:calc:matrix-small#FinalCell - 111правило
умножить на следующий диагональный элемент ступенчатой матрицы
−1 = 1 × −1
Идентификатор
urn:law:calc:matrix-small#DiagonalStep - 112правило
полный ранг: определитель равен знаку перестановок × произведению ведущих элементов
−1 = 1 × −1
Идентификатор
urn:law:calc:matrix-small#DeterminantFullRank - 113правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 2; j: 3; v: 1/2
Идентификатор
urn:law:calc:matrix-small#FinalCell - 114правило
ячейки итогового снимка
ячейка итогового (ступенчатого) снимка: c: urn:calc:matrix:dense; i: 1; j: 3; v: −1
Идентификатор
urn:law:calc:matrix-small#FinalCell - 115правило
ранг A — число ведущих элементов прямого хода
ранг матрицы A: c: urn:calc:matrix:dense; r: 3
Идентификатор
urn:law:calc:matrix-small#RankOfA - 116правило
совместная система: ни одной противоречивой строки, ранги равны
система совместна: ранги A и [A | b] равны: c: urn:calc:matrix:dense
Идентификатор
urn:law:calc:matrix-small#Consistent - 117правило
у совместной системы ранг [A | b] равен рангу A
ранг расширенной матрицы [A | b]: c: urn:calc:matrix:dense; r: 3
Идентификатор
urn:law:calc:matrix-small#ConsistentRank - 118правило
классификация: UNIQUE — ранг A равен n
UNIQUE — единственное решение, INCONSISTENT — несовместна, INFINITE — бесконечно много решений: c: urn:calc:matrix:dense; kind: UNIQUE
Идентификатор
urn:law:calc:matrix-small#UniqueClass - 119правило
обратная подстановка начинается со свободного члена ступенчатой строки
обратная подстановка: b_i минус вклад неизвестных с номерами больше j: c: urn:calc:matrix:dense; i: 2; j: 3; acc: 1
Идентификатор
urn:law:calc:matrix-small#BackStart - 120правило
обратная подстановка начинается со свободного члена ступенчатой строки
обратная подстановка: b_i минус вклад неизвестных с номерами больше j: c: urn:calc:matrix:dense; i: 3; j: 3; acc: 1
Идентификатор
urn:law:calc:matrix-small#BackStart - 121правило
обратная подстановка начинается со свободного члена ступенчатой строки
обратная подстановка: b_i минус вклад неизвестных с номерами больше j: c: urn:calc:matrix:dense; i: 1; j: 3; acc: 8
Идентификатор
urn:law:calc:matrix-small#BackStart - 122правило
подстановка в исходное уравнение начинается с нуля
0 = 0 / 1
Идентификатор
urn:law:calc:matrix-small#CheckStart - 123правило
подстановка в исходное уравнение начинается с нуля
0 = 0 / 1
Идентификатор
urn:law:calc:matrix-small#CheckStart - 124правило
подстановка в исходное уравнение начинается с нуля
0 = 0 / 1
Идентификатор
urn:law:calc:matrix-small#CheckStart - 125правило
разделить остаток на диагональный элемент: x_i
−1 = 1 / −1
Идентификатор
urn:law:calc:matrix-small#Solve - 126правило
вычесть вклад уже найденной неизвестной x_j
2 = 3 − 1
Идентификатор
urn:law:calc:matrix-small#BackStep - 127правило
вычесть вклад уже найденной неизвестной x_j
2 = 3 − 1
Идентификатор
urn:law:calc:matrix-small#BackStep - 128правило
разделить остаток на диагональный элемент: x_i
3 = 3/2 / 1/2
Идентификатор
urn:law:calc:matrix-small#Solve - 129правило
вычесть вклад уже найденной неизвестной x_j
1 = 2 − 1
Идентификатор
urn:law:calc:matrix-small#BackStep - 130правило
разделить остаток на диагональный элемент: x_i
2 = 4 / 2
Идентификатор
urn:law:calc:matrix-small#Solve - 131правило
прибавить a_ij · x_j по исходному коэффициенту
−6 = 0 + −3 × 2
Идентификатор
urn:law:calc:matrix-small#CheckStep - 132правило
прибавить a_ij · x_j по исходному коэффициенту
4 = 0 + 2 × 2
Идентификатор
urn:law:calc:matrix-small#CheckStep - 133правило
прибавить a_ij · x_j по исходному коэффициенту
−4 = 0 + −2 × 2
Идентификатор
urn:law:calc:matrix-small#CheckStep - 134правило
прибавить a_ij · x_j по исходному коэффициенту
−9 = −6 + −1 × 3
Идентификатор
urn:law:calc:matrix-small#CheckStep - 135правило
прибавить a_ij · x_j по исходному коэффициенту
−11 = −9 + 2 × −1
Идентификатор
urn:law:calc:matrix-small#CheckStep - 136правило
прибавить a_ij · x_j по исходному коэффициенту
−1 = −4 + 1 × 3
Идентификатор
urn:law:calc:matrix-small#CheckStep - 137правило
прибавить a_ij · x_j по исходному коэффициенту
−3 = −1 + 2 × −1
Идентификатор
urn:law:calc:matrix-small#CheckStep - 138правило
прибавить a_ij · x_j по исходному коэффициенту
7 = 4 + 1 × 3
Идентификатор
urn:law:calc:matrix-small#CheckStep - 139правило
прибавить a_ij · x_j по исходному коэффициенту
8 = 7 + −1 × −1
Идентификатор
urn:law:calc:matrix-small#CheckStep - 140правило
сумма исходной строки совпала со свободным членом
исходное уравнение i выполнено найденным решением: c: urn:calc:matrix:dense; i: 2
Идентификатор
urn:law:calc:matrix-small#RowVerified - 141правило
сумма исходной строки совпала со свободным членом
исходное уравнение i выполнено найденным решением: c: urn:calc:matrix:dense; i: 1
Идентификатор
urn:law:calc:matrix-small#RowVerified - 142правило
сумма исходной строки совпала со свободным членом
исходное уравнение i выполнено найденным решением: c: urn:calc:matrix:dense; i: 3
Идентификатор
urn:law:calc:matrix-small#RowVerified - 143правило
все n исходных уравнений выполнены
решение проверено подстановкой во все исходные уравнения: c: urn:calc:matrix:dense
Идентификатор
urn:law:calc:matrix-small#SolutionVerified - 144правило
отчёт UNIQUE: ранги, определитель и решение, проверенное подстановкой
расчёт дал отчёт: классификация либо явно названное исчерпание бюджета: c: urn:calc:matrix:dense
Идентификатор
urn:law:calc:matrix-small#UniqueReport - 145запрос
Вычисление запроса
проверено движком: 124 · факт дела: 13 · происхождение не записано: 8 · Полный граф: 187 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
calc.matrix_small — ОБЩИЙ ВЫЧИСЛИТЕЛЬ, НЕ АКТ: пошаговое исключение Гаусса для квадратной системы A·x = b размера 1..6 с точными рациональными коэффициентами (DECISION-0123). Ни юрисдикции, ни нормативного источника у него нет. Ему передают заголовок system(c, n, budget), коэффициенты coefficient(c, i, j, p/q) и свободные члены constant(c, i, p/q); он строит снимки расширенной матрицы, выбирает ведущий элемент (первая строка с ненулевым коэффициентом), переставляет строки, вычисляет множители и преобразует строки, отвечает рангами A и [A|b], определителем, классификацией UNIQUE/INCONSISTENT/INFINITE, решением с проверкой подстановкой либо опорными и свободными неизвестными; бюджет считает элементарные преобразования, его исчерпание — явный незавершённый расчёт. Проверен сценариями §267, байтовый differential lawc/lawref.
область вычисления: 1 ≤ n ≤ 6, 0 ≤ бюджет ≤ 40, ровно n·n коэффициентов и n свободных членов, дефектов входа нет
Идентификатор
urn:law:calc:matrix-small#AdmissibleInputпосле преобразования курсор переходит к следующей строке в новом снимке
Идентификатор
urn:law:calc:matrix-small#AfterRowOpобратная подстановка начинается со свободного члена ступенчатой строки
Идентификатор
urn:law:calc:matrix-small#BackStartвычесть вклад уже найденной неизвестной x_j
Идентификатор
urn:law:calc:matrix-small#BackStepподстановка в исходное уравнение начинается с нуля
Идентификатор
urn:law:calc:matrix-small#CheckStartприбавить a_ij · x_j по исходному коэффициенту
Идентификатор
urn:law:calc:matrix-small#CheckStepведущий элемент — первая ненулевая строка после просмотренных нулевых
Идентификатор
urn:law:calc:matrix-small#ChoosePivotстроки ниже ведущей просмотрены: следующий столбец и следующая ведущая строка
Идентификатор
urn:law:calc:matrix-small#ColumnDoneсовместная система: ни одной противоречивой строки, ранги равны
Идентификатор
urn:law:calc:matrix-small#Consistentу совместной системы ранг [A | b] равен рангу A
Идентификатор
urn:law:calc:matrix-small#ConsistentRankполный ранг: определитель равен знаку перестановок × произведению ведущих элементов
Идентификатор
urn:law:calc:matrix-small#DeterminantFullRankпроизведение нуля диагональных элементов равно единице
Идентификатор
urn:law:calc:matrix-small#DiagonalStartумножить на следующий диагональный элемент ступенчатой матрицы
Идентификатор
urn:law:calc:matrix-small#DiagonalStepмножитель m = a_i,col / a_p,col читается из текущего снимка; преобразование R_i ← R_i − m·R_p — шаг бюджета
Идентификатор
urn:law:calc:matrix-small#EliminateRowячейки итогового снимка
Идентификатор
urn:law:calc:matrix-small#FinalCellвсе n столбцов обработаны: ранг A равен числу ведущих элементов
Идентификатор
urn:law:calc:matrix-small#ForwardDoneснимок 0: коэффициенты матрицы A
Идентификатор
urn:law:calc:matrix-small#InitialCoefficientснимок 0: свободные члены образуют столбец n+1
Идентификатор
urn:law:calc:matrix-small#InitialConstantячейка ненулевая: значение меньше нуля
Идентификатор
urn:law:calc:matrix-small#NonzeroNegativeячейка ненулевая: значение больше нуля
Идентификатор
urn:law:calc:matrix-small#NonzeroPositiveранг A — число ведущих элементов прямого хода
Идентификатор
urn:law:calc:matrix-small#RankOfAстроки, кроме преобразуемой, переходят в новый снимок без изменений
Идентификатор
urn:law:calc:matrix-small#RowOpCopyновая ячейка преобразуемой строки: a_ij − m·a_pj
Идентификатор
urn:law:calc:matrix-small#RowOpTransformсумма исходной строки совпала со свободным членом
Идентификатор
urn:law:calc:matrix-small#RowVerifiedвсе n исходных уравнений выполнены
Идентификатор
urn:law:calc:matrix-small#SolutionVerifiedразделить остаток на диагональный элемент: x_i
Идентификатор
urn:law:calc:matrix-small#Solveпрямой ход начинается с первого столбца и первой строки, знак +1
Идентификатор
urn:law:calc:matrix-small#Startведущий элемент стоит в ожидаемой строке: исключать строки ниже неё
Идентификатор
urn:law:calc:matrix-small#StartEliminationснимок полон, когда получены все n·(n+1) ячеек (монотонный гард §111)
Идентификатор
urn:law:calc:matrix-small#StateCompleteклассификация: UNIQUE — ранг A равен n
Идентификатор
urn:law:calc:matrix-small#UniqueClassотчёт UNIQUE: ранги, определитель и решение, проверенное подстановкой
Идентификатор
urn:law:calc:matrix-small#UniqueReportперед ведущей строкой нулевых строк ещё не просмотрено
Идентификатор
urn:law:calc:matrix-small#ZeroBelowStart
Другие правила расчёта1
Применены в общем расчёте, но не входят в цепочку доказательства этого ответа.
calc.matrix_small — ОБЩИЙ ВЫЧИСЛИТЕЛЬ, НЕ АКТ: пошаговое исключение Гаусса для квадратной системы A·x = b размера 1..6 с точными рациональными коэффициентами (DECISION-0123). Ни юрисдикции, ни нормативного источника у него нет. Ему передают заголовок system(c, n, budget), коэффициенты coefficient(c, i, j, p/q) и свободные члены constant(c, i, p/q); он строит снимки расширенной матрицы, выбирает ведущий элемент (первая строка с ненулевым коэффициентом), переставляет строки, вычисляет множители и преобразует строки, отвечает рангами A и [A|b], определителем, классификацией UNIQUE/INCONSISTENT/INFINITE, решением с проверкой подстановкой либо опорными и свободными неизвестными; бюджет считает элементарные преобразования, его исчерпание — явный незавершённый расчёт. Проверен сценариями §267, байтовый differential lawc/lawref.
столбец, в котором прямой ход нашёл ведущий элемент
Идентификатор
urn:law:calc:matrix-small#PivotColumn
Вывод по запросу
расчёт дал отчёт: классификация либо явно названное исчерпание бюджета
c: dense
Другие выводы164
расчёт: одна система уравнений
c: denseОбщий субъект фактов ниже
вход допустим: размер и бюджет в границах, ячейки полны и однозначны
n: 3budget: 10ячейка (i, j) расширенной матрицы в снимке k
k i j v 0 2 2 −1 0 2 1 −3 0 3 2 1 0 1 1 2 0 1 2 1 0 3 1 −2 0 3 3 2 0 1 3 −1 0 2 3 2 0 3 4 −3 0 1 4 8 0 2 4 −11 ячейка снимка с ненулевым значением
k i j v 0 2 4 −11 0 2 1 −3 0 1 3 −1 0 2 2 −1 0 3 1 −2 0 3 4 −3 0 3 3 2 0 2 3 2 0 1 1 2 0 3 2 1 0 1 4 8 0 1 2 1 снимок k получил все n·(n+1) ячеек
k: 0состояние прямого хода: снимок, обрабатываемый столбец, следующая ведущая строка, знак перестановок
k: 0col: 1prow: 1sign: 1в столбце col строки от ведущей до r включительно нулевые
k: 0col: 1r: 0ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом
k: 0col: 1r: 1v: 2в столбце j найден ведущий элемент
j: 1курсор исключения: ведущая строка prow, очередная строка row
k: 0col: 1prow: 1row: 2sign: 1преобразование R_row ← R_row − m·R_prow снимка k порождает снимок k+1
k: 0col: 1prow: 1row: 2m: −3/2ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 3j: 2v: 1ячейка снимка с ненулевым значением
k: 1i: 3j: 2v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 1j: 3v: −1ячейка снимка с ненулевым значением
k: 1i: 1j: 3v: −1ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 3j: 3v: 2ячейка снимка с ненулевым значением
k: 1i: 3j: 3v: 2ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 3j: 4v: −3ячейка снимка с ненулевым значением
k: 1i: 3j: 4v: −3ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 1j: 4v: 8ячейка снимка с ненулевым значением
k: 1i: 1j: 4v: 8ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 1j: 2v: 1ячейка снимка с ненулевым значением
k: 1i: 1j: 2v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 3j: 1v: −2ячейка снимка с ненулевым значением
k: 1i: 3j: 1v: −2ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 1j: 1v: 2ячейка снимка с ненулевым значением
k: 1i: 1j: 1v: 2ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 2j: 2v: 1/2ячейка снимка с ненулевым значением
k: 1i: 2j: 2v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k: 1i: 2j: 3v: 1/2ячейка снимка с ненулевым значением
k: 1i: 2j: 3v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k i j v 1 2 1 0 1 2 4 1 ячейка снимка с ненулевым значением
k: 1i: 2j: 4v: 1снимок k получил все n·(n+1) ячеек
k: 1курсор исключения: ведущая строка prow, очередная строка row
k: 1col: 1prow: 1row: 3sign: 1преобразование R_row ← R_row − m·R_prow снимка k порождает снимок k+1
k: 1col: 1prow: 1row: 3m: −1ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 1j: 2v: 1ячейка снимка с ненулевым значением
k: 2i: 1j: 2v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 1j: 1v: 2ячейка снимка с ненулевым значением
k: 2i: 1j: 1v: 2ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 1j: 4v: 8ячейка снимка с ненулевым значением
k: 2i: 1j: 4v: 8ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 2j: 4v: 1ячейка снимка с ненулевым значением
k: 2i: 2j: 4v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 1j: 3v: −1ячейка снимка с ненулевым значением
k: 2i: 1j: 3v: −1ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 2j: 2v: 1/2ячейка снимка с ненулевым значением
k: 2i: 2j: 2v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k i j v 2 2 1 0 2 2 3 1/2 ячейка снимка с ненулевым значением
k: 2i: 2j: 3v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k i j v 2 3 1 0 2 3 2 2 ячейка снимка с ненулевым значением
k: 2i: 3j: 2v: 2ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 3j: 3v: 1ячейка снимка с ненулевым значением
k: 2i: 3j: 3v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 2i: 3j: 4v: 5ячейка снимка с ненулевым значением
k: 2i: 3j: 4v: 5снимок k получил все n·(n+1) ячеек
k: 2курсор исключения: ведущая строка prow, очередная строка row
k: 2col: 1prow: 1row: 4sign: 1состояние прямого хода: снимок, обрабатываемый столбец, следующая ведущая строка, знак перестановок
k: 2col: 2prow: 2sign: 1в столбце col строки от ведущей до r включительно нулевые
k: 2col: 2r: 1ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом
k: 2col: 2r: 2v: 1/2в столбце j найден ведущий элемент
j: 2курсор исключения: ведущая строка prow, очередная строка row
k: 2col: 2prow: 2row: 3sign: 1преобразование R_row ← R_row − m·R_prow снимка k порождает снимок k+1
k: 2col: 2prow: 2row: 3m: 4ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 1j: 2v: 1ячейка снимка с ненулевым значением
k: 3i: 1j: 2v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 1j: 4v: 8ячейка снимка с ненулевым значением
k: 3i: 1j: 4v: 8ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 1j: 3v: −1ячейка снимка с ненулевым значением
k: 3i: 1j: 3v: −1ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 2j: 2v: 1/2ячейка снимка с ненулевым значением
k: 3i: 2j: 2v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 2j: 3v: 1/2ячейка снимка с ненулевым значением
k: 3i: 2j: 3v: 1/2ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 1j: 1v: 2ячейка снимка с ненулевым значением
k: 3i: 1j: 1v: 2ячейка (i, j) расширенной матрицы в снимке k
k i j v 3 2 1 0 3 2 4 1 ячейка снимка с ненулевым значением
k: 3i: 2j: 4v: 1ячейка (i, j) расширенной матрицы в снимке k
k i j v 3 3 1 0 3 3 3 −1 ячейка снимка с ненулевым значением
k: 3i: 3j: 3v: −1ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 3j: 4v: 1ячейка снимка с ненулевым значением
k: 3i: 3j: 4v: 1ячейка (i, j) расширенной матрицы в снимке k
k: 3i: 3j: 2v: 0снимок k получил все n·(n+1) ячеек
k: 3курсор исключения: ведущая строка prow, очередная строка row
k: 3col: 2prow: 2row: 4sign: 1состояние прямого хода: снимок, обрабатываемый столбец, следующая ведущая строка, знак перестановок
k: 3col: 3prow: 3sign: 1в столбце col строки от ведущей до r включительно нулевые
k: 3col: 3r: 2ведущий элемент столбца: первая по индексу допустимая строка с ненулевым коэффициентом
k: 3col: 3r: 3v: −1в столбце j найден ведущий элемент
j: 3курсор исключения: ведущая строка prow, очередная строка row
k: 3col: 3prow: 3row: 4sign: 1состояние прямого хода: снимок, обрабатываемый столбец, следующая ведущая строка, знак перестановок
k: 3col: 4prow: 4sign: 1прямой ход завершён: итоговый снимок, число ведущих элементов, знак перестановок
k: 3rank: 3sign: 1произведение первых j диагональных элементов ступенчатой матрицы
j: 0p: 1ячейка итогового (ступенчатого) снимка
i j v 3 1 0 2 2 1/2 1 4 8 1 2 1 2 4 1 1 1 2 произведение первых j диагональных элементов ступенчатой матрицы
j p 1 2 2 1 ячейка итогового (ступенчатого) снимка
i j v 3 4 1 3 3 −1 произведение первых j диагональных элементов ступенчатой матрицы
j: 3p: −1определитель A: знак перестановок × произведение ведущих элементов, 0 при неполном ранге
d: −1ячейка итогового (ступенчатого) снимка
i j v 3 2 0 2 3 1/2 1 3 −1 2 1 0 ранг матрицы A
r: 3система совместна: ранги A и [A | b] равны
ранг расширенной матрицы [A | b]
r: 3UNIQUE — единственное решение, INCONSISTENT — несовместна, INFINITE — бесконечно много решений
kind: UNIQUEобратная подстановка: b_i минус вклад неизвестных с номерами больше j
i j acc 2 3 1 3 3 1 1 3 8 подстановка в исходное уравнение i: сумма первых j слагаемых
i j acc 1 0 0 2 0 0 3 0 0 значение j-й неизвестной
j: 3x: −1обратная подстановка: b_i минус вклад неизвестных с номерами больше j
i j acc 1 2 7 2 2 3/2 значение j-й неизвестной
j: 2x: 3обратная подстановка: b_i минус вклад неизвестных с номерами больше j
i: 1j: 1acc: 4значение j-й неизвестной
j: 1x: 2подстановка в исходное уравнение i: сумма первых j слагаемых
i j acc 2 1 −6 1 1 4 3 1 −4 2 2 −9 2 3 −11 3 2 −1 3 3 −3 1 2 7 1 3 8 исходное уравнение i выполнено найденным решением
i 2 1 3 решение проверено подстановкой во все исходные уравнения
| c | n | budget |
|---|---|---|
| dense | 3 | 10 |
| c | k | i | j | v |
|---|---|---|---|---|
| dense | 0 | 2 | 2 | −1 |
| dense | 0 | 2 | 1 | −3 |
| dense | 0 | 3 | 2 | 1 |
| dense | 0 | 1 | 1 | 2 |
| dense | 0 | 1 | 2 | 1 |
| dense | 0 | 3 | 1 | −2 |
| dense | 0 | 3 | 3 | 2 |
| dense | 0 | 1 | 3 | −1 |
| dense | 0 | 2 | 3 | 2 |
| dense | 0 | 3 | 4 | −3 |
| dense | 0 | 1 | 4 | 8 |
| dense | 0 | 2 | 4 | −11 |
| dense | 1 | 3 | 2 | 1 |
| dense | 1 | 1 | 3 | −1 |
| dense | 1 | 3 | 3 | 2 |
| dense | 1 | 3 | 4 | −3 |
| dense | 1 | 1 | 4 | 8 |
| dense | 1 | 1 | 2 | 1 |
| dense | 1 | 3 | 1 | −2 |
| dense | 1 | 1 | 1 | 2 |
| dense | 1 | 2 | 2 | 1⁄2 |
| dense | 1 | 2 | 3 | 1⁄2 |
| dense | 1 | 2 | 1 | 0 |
| dense | 1 | 2 | 4 | 1 |
| dense | 2 | 1 | 2 | 1 |
| dense | 2 | 1 | 1 | 2 |
| dense | 2 | 1 | 4 | 8 |
| dense | 2 | 2 | 4 | 1 |
| dense | 2 | 1 | 3 | −1 |
| dense | 2 | 2 | 2 | 1⁄2 |
| dense | 2 | 2 | 1 | 0 |
| dense | 2 | 2 | 3 | 1⁄2 |
| dense | 2 | 3 | 1 | 0 |
| dense | 2 | 3 | 2 | 2 |
| dense | 2 | 3 | 3 | 1 |
| dense | 2 | 3 | 4 | 5 |
| dense | 3 | 1 | 2 | 1 |
| dense | 3 | 1 | 4 | 8 |
| dense | 3 | 1 | 3 | −1 |
| dense | 3 | 2 | 2 | 1⁄2 |
| dense | 3 | 2 | 3 | 1⁄2 |
| dense | 3 | 1 | 1 | 2 |
| dense | 3 | 2 | 1 | 0 |
| dense | 3 | 2 | 4 | 1 |
| dense | 3 | 3 | 1 | 0 |
| dense | 3 | 3 | 3 | −1 |
| dense | 3 | 3 | 4 | 1 |
| dense | 3 | 3 | 2 | 0 |
| c | k | i | j | v |
|---|---|---|---|---|
| dense | 0 | 2 | 4 | −11 |
| dense | 0 | 2 | 1 | −3 |
| dense | 0 | 1 | 3 | −1 |
| dense | 0 | 2 | 2 | −1 |
| dense | 0 | 3 | 1 | −2 |
| dense | 0 | 3 | 4 | −3 |
| dense | 0 | 3 | 3 | 2 |
| dense | 0 | 2 | 3 | 2 |
| dense | 0 | 1 | 1 | 2 |
| dense | 0 | 3 | 2 | 1 |
| dense | 0 | 1 | 4 | 8 |
| dense | 0 | 1 | 2 | 1 |
| dense | 1 | 3 | 2 | 1 |
| dense | 1 | 1 | 3 | −1 |
| dense | 1 | 3 | 3 | 2 |
| dense | 1 | 3 | 4 | −3 |
| dense | 1 | 1 | 4 | 8 |
| dense | 1 | 1 | 2 | 1 |
| dense | 1 | 3 | 1 | −2 |
| dense | 1 | 1 | 1 | 2 |
| dense | 1 | 2 | 2 | 1⁄2 |
| dense | 1 | 2 | 3 | 1⁄2 |
| dense | 1 | 2 | 4 | 1 |
| dense | 2 | 1 | 2 | 1 |
| dense | 2 | 1 | 1 | 2 |
| dense | 2 | 1 | 4 | 8 |
| dense | 2 | 2 | 4 | 1 |
| dense | 2 | 1 | 3 | −1 |
| dense | 2 | 2 | 2 | 1⁄2 |
| dense | 2 | 2 | 3 | 1⁄2 |
| dense | 2 | 3 | 2 | 2 |
| dense | 2 | 3 | 3 | 1 |
| dense | 2 | 3 | 4 | 5 |
| dense | 3 | 1 | 2 | 1 |
| dense | 3 | 1 | 4 | 8 |
| dense | 3 | 1 | 3 | −1 |
| dense | 3 | 2 | 2 | 1⁄2 |
| dense | 3 | 2 | 3 | 1⁄2 |
| dense | 3 | 1 | 1 | 2 |
| dense | 3 | 2 | 4 | 1 |
| dense | 3 | 3 | 3 | −1 |
| dense | 3 | 3 | 4 | 1 |
| c | k |
|---|---|
| dense | 0 |
| dense | 1 |
| dense | 2 |
| dense | 3 |
| c | k | col | prow | sign |
|---|---|---|---|---|
| dense | 0 | 1 | 1 | 1 |
| dense | 2 | 2 | 2 | 1 |
| dense | 3 | 3 | 3 | 1 |
| dense | 3 | 4 | 4 | 1 |
| c | k | col | r |
|---|---|---|---|
| dense | 0 | 1 | 0 |
| dense | 2 | 2 | 1 |
| dense | 3 | 3 | 2 |
| c | k | col | r | v |
|---|---|---|---|---|
| dense | 0 | 1 | 1 | 2 |
| dense | 2 | 2 | 2 | 1⁄2 |
| dense | 3 | 3 | 3 | −1 |
| c | j |
|---|---|
| dense | 1 |
| dense | 2 |
| dense | 3 |
| c | k | col | prow | row | sign |
|---|---|---|---|---|---|
| dense | 0 | 1 | 1 | 2 | 1 |
| dense | 1 | 1 | 1 | 3 | 1 |
| dense | 2 | 1 | 1 | 4 | 1 |
| dense | 2 | 2 | 2 | 3 | 1 |
| dense | 3 | 2 | 2 | 4 | 1 |
| dense | 3 | 3 | 3 | 4 | 1 |
| c | k | col | prow | row | m |
|---|---|---|---|---|---|
| dense | 0 | 1 | 1 | 2 | −3⁄2 |
| dense | 1 | 1 | 1 | 3 | −1 |
| dense | 2 | 2 | 2 | 3 | 4 |
| c | k | rank | sign |
|---|---|---|---|
| dense | 3 | 3 | 1 |
| c | j | p |
|---|---|---|
| dense | 0 | 1 |
| dense | 1 | 2 |
| dense | 2 | 1 |
| dense | 3 | −1 |
| c | i | j | v |
|---|---|---|---|
| dense | 3 | 1 | 0 |
| dense | 2 | 2 | 1⁄2 |
| dense | 1 | 4 | 8 |
| dense | 1 | 2 | 1 |
| dense | 2 | 4 | 1 |
| dense | 1 | 1 | 2 |
| dense | 3 | 4 | 1 |
| dense | 3 | 3 | −1 |
| dense | 3 | 2 | 0 |
| dense | 2 | 3 | 1⁄2 |
| dense | 1 | 3 | −1 |
| dense | 2 | 1 | 0 |
| c | d |
|---|---|
| dense | −1 |
| c | r |
|---|---|
| dense | 3 |
| c |
|---|
| dense |
| c | r |
|---|---|
| dense | 3 |
| c | kind |
|---|---|
| dense | UNIQUE |
| c | i | j | acc |
|---|---|---|---|
| dense | 2 | 3 | 1 |
| dense | 3 | 3 | 1 |
| dense | 1 | 3 | 8 |
| dense | 1 | 2 | 7 |
| dense | 2 | 2 | 3⁄2 |
| dense | 1 | 1 | 4 |
| c | i | j | acc |
|---|---|---|---|
| dense | 1 | 0 | 0 |
| dense | 2 | 0 | 0 |
| dense | 3 | 0 | 0 |
| dense | 2 | 1 | −6 |
| dense | 1 | 1 | 4 |
| dense | 3 | 1 | −4 |
| dense | 2 | 2 | −9 |
| dense | 2 | 3 | −11 |
| dense | 3 | 2 | −1 |
| dense | 3 | 3 | −3 |
| dense | 1 | 2 | 7 |
| dense | 1 | 3 | 8 |
| c | j | x |
|---|---|---|
| dense | 3 | −1 |
| dense | 2 | 3 |
| dense | 1 | 2 |
| c | i |
|---|---|
| dense | 2 |
| dense | 1 |
| dense | 3 |
| c |
|---|
| dense |
| c |
|---|
| dense |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Что способно поразить вывод1 правил
- 1правило
недопустимый вход явно препятствует отчёту
Чего не хватает
- вход вне области определения вычислителяdense, v1DEPENDSименно этого не хватает
Идентификатор
urn:law:calc:matrix-small#RejectedReport
Перечислены правила, чья голова отвечает вопросу, и их невыполненные посылки. Отсутствие факта не означает его опровержения.
Граф доказательств
Узлы доказательств: 187 · assertion 21, rule_application 165, query_evaluation 1
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓ИсточникиТексты не сохранены
Тексты источников в этом снимке не сохранены.
Пакеты в снимке
- calc.matrix_small — ОБЩИЙ ВЫЧИСЛИТЕЛЬ, НЕ АКТ: пошаговое исключение Гаусса для квадратной системы A·x = b размера 1..6 с точными рациональными коэффициентами (DECISION-0123). Ни юрисдикции, ни нормативного источника у него нет. Ему передают заголовок system(c, n, budget), коэффициенты coefficient(c, i, j, p/q) и свободные члены constant(c, i, p/q); он строит снимки расширенной матрицы, выбирает ведущий элемент (первая строка с ненулевым коэффициентом), переставляет строки, вычисляет множители и преобразует строки, отвечает рангами A и [A|b], определителем, классификацией UNIQUE/INCONSISTENT/INFINITE, решением с проверкой подстановкой либо опорными и свободными неизвестными; бюджет считает элементарные преобразования, его исчерпание — явный незавершённый расчёт. Проверен сценариями §267, байтовый differential lawc/lawref.
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
Полный машинный результат · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Исполнение · JSON
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓Метаданные отображения
Блок слишком большой для встроенного просмотра. Он целиком включён в JSON документа — без сокращений.
Скачать JSON ↓JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 0,
"fragments": [],
"jurisdiction": "none",
"namespace": "urn:law:calc:matrix-small",
"package": "calc-matrix-small",
"title": "calc.matrix_small — ОБЩИЙ ВЫЧИСЛИТЕЛЬ, НЕ АКТ: пошаговое исключение Гаусса для квадратной системы A·x = b размера 1..6 с точными рациональными коэффициентами (DECISION-0123). Ни юрисдикции, ни нормативного источника у него нет. Ему передают заголовок system(c, n, budget), коэффициенты coefficient(c, i, j, p/q) и свободные члены constant(c, i, p/q); он строит снимки расширенной матрицы, выбирает ведущий элемент (первая строка с ненулевым коэффициентом), переставляет строки, вычисляет множители и преобразует строки, отвечает рангами A и [A|b], определителем, классификацией UNIQUE/INCONSISTENT/INFINITE, решением с проверкой подстановкой либо опорными и свободными неизвестными; бюджет считает элементарные преобразования, его исчерпание — явный незавершённый расчёт. Проверен сценариями §267, байтовый differential lawc/lawref."
}
],
"caseHash": "sha256:99c4a6ce02773120535097d5e699d7625b6d8796527f2e2807d4c9376de44cdc",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-09-06",
"mode": "audit",
"programHash": "sha256:a6548d14de8d5440db779f685fb65fcd8be651dff6da586720f1ba5a46b19e93",
"resultHash": "sha256:46c3f130742cd9021282f50baf2c500e0dd72a85bc5ff3142677afd0c3fb4981",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:6152197475373686d9256040358856c09f664350304d26150177965e87a507b0
Исходные данные · JSON
{
"args": [
"urn:calc:matrix:dense"
],
"facts": [
{
"args": [
"urn:calc:matrix:dense",
3,
10
],
"predicate": "system"
},
{
"args": [
"urn:calc:matrix:dense",
1,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-3/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
2,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "1/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
3,
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "2/1"
}
],
"predicate": "coefficient"
},
{
"args": [
"urn:calc:matrix:dense",
1,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "8/1"
}
],
"predicate": "constant"
},
{
"args": [
"urn:calc:matrix:dense",
2,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-11/1"
}
],
"predicate": "constant"
},
{
"args": [
"urn:calc:matrix:dense",
3,
{
"kind": "value",
"type": {
"name": "urn:law:std#Rational"
},
"value": "-3/1"
}
],
"predicate": "constant"
}
],
"kind": "truth",
"legalTime": "2026-09-06",
"package": "calc-matrix-small",
"predicate": "report",
"proof": true
}