amari 0.19.1

Advanced mathematical computing library with geometric algebra, tropical algebra, and automatic differentiation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124

name: Parallel Mathematical Verification (Optimization - Disabled)

# DISABLED: Prioritizing mathematical rigor over speed
# Enable this workflow when high commit frequency requires optimization
on:
  workflow_dispatch:  # Manual trigger only
  schedule:
    - cron: '0 2 * * 0'  # Weekly verification only

env:
  CARGO_TERM_COLOR: always
  RUST_BACKTRACE: 1

jobs:
  code-quality:
    name: Code Quality
    runs-on: ubuntu-latest
    timeout-minutes: 5
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
      with:
        components: rustfmt, clippy
    - uses: Swatinem/rust-cache@v2

    - name: Format check
      run: cargo fmt --all -- --check

    - name: Clippy lints
      run: cargo clippy --all-targets --all-features -- -D warnings

  core-algebra:
    name: Core Algebra Tests
    runs-on: ubuntu-latest
    timeout-minutes: 8
    strategy:
      matrix:
        crate: [amari-core, amari-tropical, amari-dual, amari-info-geom]
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Test ${{ matrix.crate }}
      run: cargo test -p ${{ matrix.crate }} --lib --bins

  advanced-features:
    name: Advanced Features
    runs-on: ubuntu-latest
    timeout-minutes: 10
    strategy:
      matrix:
        crate: [amari-fusion, amari-enumerative, amari-automata, amari-flynn-macros, amari-flynn]
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Test ${{ matrix.crate }}
      run: cargo test -p ${{ matrix.crate }} --lib --bins

  gpu-acceleration:
    name: GPU Tests (with fallback)
    runs-on: ubuntu-latest
    timeout-minutes: 8
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Install GPU dependencies
      run: |
        sudo apt-get update
        sudo apt-get install -y mesa-utils

    - name: Test GPU crates (with CI fallbacks)
      run: |
        cargo test -p amari-gpu --lib --bins || echo "GPU tests failed as expected in CI"
        cargo test -p amari-wasm --lib --bins

  formal-verification:
    name: Formal Verification
    runs-on: ubuntu-latest
    timeout-minutes: 8
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Verification tests
      run: cargo test --all --features formal-verification

  documentation:
    name: Documentation
    runs-on: ubuntu-latest
    timeout-minutes: 5
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Build docs
      run: cargo doc --all --no-deps --document-private-items

  integration:
    name: Integration Tests
    runs-on: ubuntu-latest
    timeout-minutes: 10
    needs: [code-quality, core-algebra, advanced-features, formal-verification]
    steps:
    - uses: actions/checkout@v6
    - uses: dtolnay/rust-toolchain@stable
    - uses: Swatinem/rust-cache@v2

    - name: Full integration test
      run: cargo test --all --lib --bins

    - name: Mathematical correctness verified
      run: |
        echo "✨ All mathematical properties verified ✨"
        echo "🔬 Geometric algebra: ✓"
        echo "🌴 Tropical semirings: ✓"
        echo "👻 Phantom types: ✓"
        echo "🧮 Formal verification: ✓"