linalg · Vector

19 accepted declarations. Python and Rust forms, contracts, evidence, failure boundaries, and checked usages are kept together below.

Worked example

The complete checked program Solve an underdetermined rational system and verify its affine space uses this API directly.

# SPDX-License-Identifier: MIT
# Copyright (c) 2026 Benjamin Antieau and Deven Manam
"""Solve an underdetermined rational system and verify its affine space."""

from noether import Q
from noether.linalg import Matrix, Vector


def main() -> None:
    matrix = Matrix.from_rows(Q, [[1, 2, 3], [2, 4, 6]])
    right_hand_side = Vector.from_values(Q, [1, 2])
    solutions = matrix.solve(right_hand_side)
    solutions.verify()
    assert matrix @ solutions.particular == right_hand_side
    assert solutions.dimension == 2
    print(f"particular={solutions.particular}; nullity={solutions.dimension}")


if __name__ == "__main__":
    main()

Run it with .venv/bin/python examples/03_exact_linear_systems.py.

linalg.Vector

A vector over one explicit coefficient context.

PythonRust

class Vector

noether::linalg::Vector · Direct Rust declaration

pub struct Vector<R: Ring> { /* private fields */ }

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/03_exact_linear_systems.py:11 · examples/03_exact_linear_systems.py:6 · examples/05_sparse_exact_operators.py:15 · examples/05_sparse_exact_operators.py:6 · examples/30_modules_and_resolutions.py:15 · examples/30_modules_and_resolutions.py:24

linalg.Vector.__add__

Add another compatible value to this value.

Detailed contract

Add vectors with equal contexts and dimensions. Returns the argument unchanged.

PythonRust

(self, other: Vector[R]) -> Vector[R]

noether::linalg::Vector::add · Direct Rust declaration

pub fn add(&self, rhs: &Self) -> Result<Self, LinalgError>
fn add(self, rhs: &Vector<R>) -> Self::Output

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/infra/test_discovery.py:211 · validation/unit/infra/test_public_api_index.py:293

linalg.Vector.__getitem__

Return the entry selected by the supplied index.

Detailed contract

Materialize one coefficient, failing when the index is out of bounds.

PythonRust

(self: Vector[IntegerRing], index: int) -> int
(self: Vector[RationalField], index: int) -> _Fraction
(self: Vector[ResidueRing], index: int) -> ResidueClass
(self: Vector[FiniteField], index: int) -> FiniteFieldElement
(self: Vector[RationalFunctionField[RationalField]], index: int) -> RationalFunction[RationalField]
(self: Vector[_NumberFieldContext], index: int) -> NumberFieldElement
(self: Vector[_PadicContext], index: int) -> PadicElement
(self: Vector[_QadicContext], index: int) -> QadicElement
(self: Vector[_PadicLocalIntegralContext], index: int) -> PadicLocalFieldElement
(self: Vector[RealBallField], index: int) -> RealBall
(self: Vector[ComplexBallField], index: int) -> ComplexBall
(self: Vector[PowerSeriesRing[C]], index: int) -> PowerSeries[C]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]], index: int) -> Polynomial[_PolynomialCoefficientContext]
(self: Vector[QuotientRing[C]], index: int) -> QuotientElement[C]

noether::linalg::Vector::get · Direct Rust declaration

pub fn get(&self, index: usize) -> Result<R::Element, IndexError>

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

linalg.Vector.__iter__

Iterate over the canonical finite contents of this object.

PythonRust

(self: Vector[IntegerRing]) -> Iterator[int]
(self: Vector[RationalField]) -> Iterator[_Fraction]
(self: Vector[ResidueRing]) -> Iterator[ResidueClass]
(self: Vector[FiniteField]) -> Iterator[FiniteFieldElement]
(self: Vector[RationalFunctionField[RationalField]]) -> Iterator[RationalFunction[RationalField]]
(self: Vector[_NumberFieldContext]) -> Iterator[NumberFieldElement]
(self: Vector[_PadicContext]) -> Iterator[PadicElement]
(self: Vector[_QadicContext]) -> Iterator[QadicElement]
(self: Vector[_PadicLocalIntegralContext]) -> Iterator[PadicLocalFieldElement]
(self: Vector[RealBallField]) -> Iterator[RealBall]
(self: Vector[ComplexBallField]) -> Iterator[ComplexBall]
(self: Vector[PowerSeriesRing[C]]) -> Iterator[PowerSeries[C]]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]]) -> Iterator[Polynomial[_PolynomialCoefficientContext]]
(self: Vector[QuotientRing[C]]) -> Iterator[QuotientElement[C]]

noether::linalg::Vector · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

linalg.Vector.__len__

Return the number of stored items in this object.

PythonRust

(self) -> int

noether::linalg::Vector · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/topology/test_filtration_builders.py:109 · validation/unit/topology/test_filtration_builders.py:14

linalg.Vector.__mul__

Multiply this value by another compatible value.

PythonRust

(self: Vector[IntegerRing], scalar: int) -> Vector[IntegerRing]
(self: Vector[RationalField], scalar: int | _Fraction) -> Vector[RationalField]
(self: Vector[ResidueRing], scalar: int | ResidueClass) -> Vector[ResidueRing]
(self: Vector[FiniteField], scalar: int | FiniteFieldElement) -> Vector[FiniteField]
(self: Vector[RationalFunctionField[RationalField]], scalar: int | _Fraction | RationalFunction[RationalField]) -> Vector[RationalFunctionField[RationalField]]
(self: Vector[_NumberFieldContext], scalar: int | _Fraction | NumberFieldElement) -> Vector[_NumberFieldContext]
(self: Vector[_PadicContext], scalar: int | PadicElement) -> Vector[_PadicContext]
(self: Vector[_QadicContext], scalar: int | QadicElement) -> Vector[_QadicContext]
(self: Vector[_PadicLocalIntegralContext], scalar: int | PadicLocalFieldElement) -> Vector[_PadicLocalIntegralContext]
(self: Vector[RealBallField], scalar: int | _Fraction | RealBall) -> Vector[RealBallField]
(self: Vector[ComplexBallField], scalar: int | _Fraction | ComplexBall) -> Vector[ComplexBallField]
(self: Vector[PowerSeriesRing[C]], scalar: PowerSeries[C] | SeriesScalar) -> Vector[PowerSeriesRing[C]]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]], scalar: Polynomial[_PolynomialCoefficientContext] | PolynomialScalar) -> Vector[PolynomialRing[_PolynomialCoefficientContext]]
(self: Vector[QuotientRing[C]], scalar: QuotientElement[C] | Polynomial[C]) -> Vector[QuotientRing[C]]

noether::linalg::Vector::mul · Direct Rust declaration

fn mul(self, rhs: &R::Element) -> Self::Output
fn mul(self, rhs: R::Element) -> Self::Output

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/infra/test_public_api_index.py:214

linalg.Vector.__neg__

Return the additive inverse of this value.

Detailed contract

Negate every coefficient.

PythonRust

(self) -> Vector[R]

noether::linalg::Vector::neg · Direct Rust declaration

pub fn neg(&self) -> Result<Self, LinalgError>
fn neg(self) -> Self::Output

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

linalg.Vector.__rmul__

Multiply this value by a compatible value on its left.

PythonRust

(self: Vector[IntegerRing], scalar: int) -> Vector[IntegerRing]
(self: Vector[RationalField], scalar: int | _Fraction) -> Vector[RationalField]
(self: Vector[ResidueRing], scalar: int | ResidueClass) -> Vector[ResidueRing]
(self: Vector[FiniteField], scalar: int | FiniteFieldElement) -> Vector[FiniteField]
(self: Vector[RationalFunctionField[RationalField]], scalar: int | _Fraction | RationalFunction[RationalField]) -> Vector[RationalFunctionField[RationalField]]
(self: Vector[_NumberFieldContext], scalar: int | _Fraction | NumberFieldElement) -> Vector[_NumberFieldContext]
(self: Vector[_PadicContext], scalar: int | PadicElement) -> Vector[_PadicContext]
(self: Vector[_QadicContext], scalar: int | QadicElement) -> Vector[_QadicContext]
(self: Vector[_PadicLocalIntegralContext], scalar: int | PadicLocalFieldElement) -> Vector[_PadicLocalIntegralContext]
(self: Vector[RealBallField], scalar: int | _Fraction | RealBall) -> Vector[RealBallField]
(self: Vector[ComplexBallField], scalar: int | _Fraction | ComplexBall) -> Vector[ComplexBallField]
(self: Vector[PowerSeriesRing[C]], scalar: PowerSeries[C] | SeriesScalar) -> Vector[PowerSeriesRing[C]]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]], scalar: Polynomial[_PolynomialCoefficientContext] | PolynomialScalar) -> Vector[PolynomialRing[_PolynomialCoefficientContext]]
(self: Vector[QuotientRing[C]], scalar: QuotientElement[C] | Polynomial[C]) -> Vector[QuotientRing[C]]

noether::linalg::Vector · Python projection

Python projection convenience over this Rust mathematical type

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

linalg.Vector.__sub__

Subtract another compatible value from this value.

Detailed contract

Subtract vectors with equal contexts and dimensions.

PythonRust

(self, other: Vector[R]) -> Vector[R]

noether::linalg::Vector::sub · Direct Rust declaration

pub fn sub(&self, rhs: &Self) -> Result<Self, LinalgError>
fn sub(self, rhs: &Vector<R>) -> Self::Output

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/infra/test_discovery.py:212

linalg.Vector.dimension

Return the dimension recorded by this Vector.

Detailed contract

Number of coefficients.

PythonRust

(self) -> int

noether::linalg::Vector::dimension · Direct Rust declaration

pub fn dimension(&self) -> usize

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/03_exact_linear_systems.py:15 · examples/03_exact_linear_systems.py:16 · examples/15_groebner_twisted_cubic.py:14 · examples/15_groebner_twisted_cubic.py:28 · examples/27_weight_characters.py:25 · examples/34_finite_group_cohomology.py:13

linalg.Vector.dot

Compute dot for this Vector.

Detailed contract

Compute the exact bilinear dot product.

PythonRust

(self: Vector[IntegerRing], other: Vector[IntegerRing]) -> int
(self: Vector[RationalField], other: Vector[RationalField]) -> _Fraction
(self: Vector[ResidueRing], other: Vector[ResidueRing]) -> ResidueClass
(self: Vector[FiniteField], other: Vector[FiniteField]) -> FiniteFieldElement
(self: Vector[RationalFunctionField[RationalField]], other: Vector[RationalFunctionField[RationalField]]) -> RationalFunction[RationalField]
(self: Vector[_NumberFieldContext], other: Vector[_NumberFieldContext]) -> NumberFieldElement
(self: Vector[_PadicContext], other: Vector[_PadicContext]) -> PadicElement
(self: Vector[_QadicContext], other: Vector[_QadicContext]) -> QadicElement
(self: Vector[_PadicLocalIntegralContext], other: Vector[_PadicLocalIntegralContext]) -> PadicLocalFieldElement
(self: Vector[RealBallField], other: Vector[RealBallField]) -> RealBall
(self: Vector[ComplexBallField], other: Vector[ComplexBallField]) -> ComplexBall
(self: Vector[PowerSeriesRing[C]], other: Vector[PowerSeriesRing[C]]) -> PowerSeries[C]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]], other: Vector[PolynomialRing[_PolynomialCoefficientContext]]) -> Polynomial[_PolynomialCoefficientContext]
(self: Vector[QuotientRing[C]], other: Vector[QuotientRing[C]]) -> QuotientElement[C]

noether::linalg::Vector::dot · Direct Rust declaration

pub fn dot(&self, rhs: &Self) -> Result<R::Element, LinalgError>

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/commalg/test_power_series_facade.py:349 · validation/unit/commalg/test_quotient_facade.py:175 · validation/unit/commalg/test_residue_ring_facade.py:69 · validation/unit/infra/test_boundary_properties.py:67 · validation/unit/linalg/test_exact_linear_algebra_facade.py:159 · validation/unit/linalg/test_sparse_matrix_facade.py:143

linalg.Vector.from_json

Deserialize and revalidate a vector and its complete coefficient context.

PythonRust

(cls, value: str) -> Vector[R]

noether::linalg::Vector::from_json · Direct Rust declaration

pub fn from_json(value: &str) -> Result<Self, NoetherError>where R: for<'de> Deserialize<'de>, R::Element: for<'de> Deserialize<'de>,

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/category/test_category.py:14 · validation/unit/combin/test_acceptance_workload.py:65 · validation/unit/combin/test_acceptance_workload.py:86 · validation/unit/combin/test_graph_facade.py:106 · validation/unit/combin/test_graph_facade.py:25 · validation/unit/combinatorics/test_kashiwara_crystal.py:32

linalg.Vector.from_values

Construct a Vector using values.

Detailed contract

Construct a vector from coefficients in deterministic order.

PythonRust

(cls, ring: IntegerRing, values: Iterable[int]) -> Vector[IntegerRing]
(cls, ring: RationalField, values: Iterable[int | _Fraction]) -> Vector[RationalField]
(cls, ring: ResidueRing, values: Iterable[int | ResidueClass]) -> Vector[ResidueRing]
(cls, ring: FiniteField, values: Iterable[int | FiniteFieldElement]) -> Vector[FiniteField]
(cls, ring: RationalFunctionField[RationalField], values: Iterable[int | _Fraction | RationalFunction[RationalField]]) -> Vector[RationalFunctionField[RationalField]]
(cls, ring: _NumberFieldContext, values: Iterable[int | _Fraction | NumberFieldElement | Iterable[int | _Fraction]]) -> Vector[_NumberFieldContext]
(cls, ring: _PadicContext, values: Iterable[int | PadicElement]) -> Vector[_PadicContext]
(cls, ring: _QadicContext, values: Iterable[int | QadicElement]) -> Vector[_QadicContext]
(cls, ring: _PadicLocalIntegralContext, values: Iterable[int | PadicLocalFieldElement]) -> Vector[_PadicLocalIntegralContext]
(cls, ring: RealBallField, values: Iterable[int | _Fraction | RealBall]) -> Vector[RealBallField]
(cls, ring: ComplexBallField, values: Iterable[int | _Fraction | ComplexBall]) -> Vector[ComplexBallField]
(cls, ring: PowerSeriesRing[C], values: Iterable[PowerSeries[C] | SeriesScalar]) -> Vector[PowerSeriesRing[C]]
(cls, ring: PolynomialRing[_PolynomialCoefficientContext], values: Iterable[Polynomial[_PolynomialCoefficientContext] | PolynomialScalar]) -> Vector[PolynomialRing[_PolynomialCoefficientContext]]
(cls, ring: QuotientRing[C], values: Iterable[QuotientElement[C] | Polynomial[C]]) -> Vector[QuotientRing[C]]

noether::linalg::Vector::from_values · Direct Rust declaration

pub fn from_values<I>(ring: R, values: I) -> Result<Self, LinalgError>where I: IntoIterator<Item = R::Element>,

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/03_exact_linear_systems.py:11 · examples/05_sparse_exact_operators.py:15 · examples/30_modules_and_resolutions.py:24 · examples/30_modules_and_resolutions.py:25 · examples/38_exact_linear_systems.py:13 · examples/38_exact_linear_systems.py:23

linalg.Vector.ring

Return the ring recorded by this Vector.

Detailed contract

The exact coefficient context.

PythonRust

(self) -> R

noether::linalg::Vector::ring · Direct Rust declaration

pub fn ring(&self) -> &R

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/11_qadic_witt_vectors.py:3 · examples/13_chinese_remainder_theorem.py:10 · examples/13_chinese_remainder_theorem.py:12 · examples/13_chinese_remainder_theorem.py:9 · examples/14_weighted_polynomials.py:10 · examples/14_weighted_polynomials.py:11

linalg.Vector.to_column_matrix

Convert this Vector to column matrix.

Detailed contract

Convert explicitly to a one-column matrix.

PythonRust

(self) -> Matrix[R]

noether::linalg::Vector::to_column_matrix · Direct Rust declaration

pub fn to_column_matrix(&self) -> Matrix<R>

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/commalg/test_power_series_facade.py:352 · validation/unit/commalg/test_quotient_facade.py:176 · validation/unit/linalg/test_vector_facade.py:23 · validation/unit/linalg/test_vector_facade.py:62 · validation/bench/macaulay2_core.py:1359

linalg.Vector.to_json

Serialize the vector and its complete coefficient context.

Detailed contract

Serialize the complete coefficient context and ordered values.

PythonRust

(self) -> str

noether::linalg::Vector::to_json · Direct Rust declaration

pub fn to_json(&self) -> Result<String, NoetherError>where R: Serialize, R::Element: Serialize,

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/category/test_category.py:14 · validation/unit/category/test_category.py:15 · validation/unit/combin/test_acceptance_workload.py:30 · validation/unit/combin/test_acceptance_workload.py:65 · validation/unit/combin/test_acceptance_workload.py:86 · validation/unit/combin/test_graph_facade.py:106

linalg.Vector.to_row_matrix

Convert this Vector to row matrix.

Detailed contract

Convert explicitly to a one-row matrix.

PythonRust

(self) -> Matrix[R]

noether::linalg::Vector::to_row_matrix · Direct Rust declaration

pub fn to_row_matrix(&self) -> Matrix<R>

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: validation/unit/linalg/test_vector_facade.py:24 · validation/unit/linalg/test_vector_facade.py:63

linalg.Vector.to_values

Convert this Vector to values.

Detailed contract

Materialize all coefficients in deterministic order. This is the eager vector counterpart of Matrix::to_rows.

PythonRust

(self: Vector[IntegerRing]) -> list[int]
(self: Vector[RationalField]) -> list[_Fraction]
(self: Vector[ResidueRing]) -> list[ResidueClass]
(self: Vector[FiniteField]) -> list[FiniteFieldElement]
(self: Vector[RationalFunctionField[RationalField]]) -> list[RationalFunction[RationalField]]
(self: Vector[_NumberFieldContext]) -> list[NumberFieldElement]
(self: Vector[_PadicContext]) -> list[PadicElement]
(self: Vector[_QadicContext]) -> list[QadicElement]
(self: Vector[_PadicLocalIntegralContext]) -> list[PadicLocalFieldElement]
(self: Vector[RealBallField]) -> list[RealBall]
(self: Vector[ComplexBallField]) -> list[ComplexBall]
(self: Vector[PowerSeriesRing[C]]) -> list[PowerSeries[C]]
(self: Vector[PolynomialRing[_PolynomialCoefficientContext]]) -> list[Polynomial[_PolynomialCoefficientContext]]
(self: Vector[QuotientRing[C]]) -> list[QuotientElement[C]]

noether::linalg::Vector::to_values · Direct Rust declaration

pub fn to_values(&self) -> Vec<R::Element>

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	released
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/05_sparse_exact_operators.py:17 · examples/05_sparse_exact_operators.py:19 · validation/unit/commalg/test_power_series_facade.py:348 · validation/unit/commalg/test_quotient_facade.py:173 · validation/unit/homalg/test_chain_complex.py:61 · validation/unit/homalg/test_finite_group_cohomology.py:134

linalg.Vector.zeros

Construct a Vector using zeros.

Detailed contract

Construct the zero vector of the requested dimension.

PythonRust

(cls, ring: R, dimension: int) -> Vector[R]

noether::linalg::Vector::zeros · Direct Rust declaration

pub fn zeros(ring: R, dimension: usize) -> Self

Contract	Value
Guarantee	checked deterministic result
Determinism	deterministic
Availability	default CPU build
Domain implementation crates	noether, flint-core, m4rst, m4rst-distributed, m4rste, mzs, pwvla, spar-core, sparla, sparb, lattice-enum
GIL	attached / bounded
Semantic ID	noether/linalg/Vector@1

Executable usage: examples/38_exact_linear_systems.py:19 · examples/distributed/f2_linear_algebra.py:28 · validation/unit/commalg/test_power_series_facade.py:388 · validation/unit/commalg/test_quotient_facade.py:164 · validation/unit/homalg/test_exact_submodules.py:56 · validation/unit/homalg/test_module_facade.py:633