package odin-algebra:algebraic_structures/field
Source

⌘K
Ctrl+K
or
/

    Overview

    Interface for a Field div - called to perform the operation ans = left / right mul_inverse - called to perform ans = 1 / left all functions can be called where 2 or 3 input parameters point to the same piece of memory.

    Index

    Types (2)
    Constants (1)
    Variables (0)

    This section is empty.

    Procedure Groups (0)

    This section is empty.

    Types

    Field ¶
    Source

    Field :: struct($T: typeid) {
	… // See source for fields
}
     

    Interface for a Field: div - called to perform the operation ans = left / right mul_inverse - called to perform ans = 1 / left all functions can be called where 2 or 3 input parameters point to the same piece of memory.

    Related Procedures With Parameters

    NumericField ¶
    Source

    NumericField :: struct($T: typeid) {
	… // See source for fields
}

    Constants

    FIELD_F32 ¶
    Source

    FIELD_F32: Field($T=f32) : Field(f32){euclidean_ring.EUCLIDEAN_RING_F32, div_f32, mul_inverse_f32}

    Variables

    This section is empty.

    Procedures

    div_f32 ¶
    Source

    div_f32 :: proc(a: ^f32, l: f32, r: f32) {…}

    mul_inverse_f32 ¶
    Source

    mul_inverse_f32 :: proc(a: ^f32, l: f32) {…}

    test_field_axioms ¶
    Source

    test_field_axioms :: proc(t: ^testing.T, generator: prop_test.Generator($T), f: Field($T)) {…}
     

    called to run prop based tests to see if a ring implementation violates the field axioms

    Procedure Groups

    This section is empty.

    Source Files

    Generation Information

    Generated with odin version dev-2025-04 (vendor "odin") Linux_amd64 @ 2025-05-13 09:15:55.502404805 +0000 UTC