Skip to content

Commit

Permalink
Merge pull request #753 from trueagi-io/numme_upd
Browse files Browse the repository at this point in the history
minor update for numme due to minimal metta
  • Loading branch information
Necr0x0Der authored Jul 25, 2024
2 parents e77be66 + 997f951 commit 2f7a122
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion python/sandbox/numpy/nm_test.metta
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,13 @@

!(== (np.add &y &x) (np.add &x &y)) ; True
!(== &x &y) ; False
!(== &x (np.vector 1 2)) ; False
; It becomes BadType now, because types (NPArray (2)) != (NPArray (3))
;!(== &x (np.vector 1 2)) ; False

! (np.add &m (np.vector 1 2)) ; ((7 3) (8 4) (9 5))
! (np.matmul &mt &m) ; ((6 1) (7 2))

; TODO: show that this is really a pattern
! (np.add &m $x) ; will be turned into pattern

! (case (np.array (((1 1) (2 2) (3 3)) ((2 3) (3 4) (4 5))))
Expand Down

0 comments on commit 2f7a122

Please sign in to comment.