more groupstat tests
test change counter for i8 better, and make sure empty input functions as required
This commit is contained in:
parent
609f3418d8
commit
9a45762ecd
@ -11,6 +11,8 @@
|
|||||||
%USE tvar ⋄ AllEq {⊢_tvar 𝕩⥊10}¨ 1+↕1000 %% 0‿0‿1‿1‿10
|
%USE tvar ⋄ AllEq {⊢_tvar 𝕩⥊10}¨ 1+↕1000 %% 0‿0‿1‿1‿10
|
||||||
%USE tvar ⋄ {! ⟨0,0,0,𝕩,3⟩ ≡ ⊢_tvar 𝕩⥊3‿2}¨ 2+↕1000
|
%USE tvar ⋄ {! ⟨0,0,0,𝕩,3⟩ ≡ ⊢_tvar 𝕩⥊3‿2}¨ 2+↕1000
|
||||||
%USE tvar ⋄ {! ⟨0,0,1,𝕩,𝕩-1⟩ ≡ ⊢_tvar ↕𝕩}¨ 1+↕1000
|
%USE tvar ⋄ {! ⟨0,0,1,𝕩,𝕩-1⟩ ≡ ⊢_tvar ↕𝕩}¨ 1+↕1000
|
||||||
|
%USE tvar ⋄ {! ⟨0,0,𝕩≤10,𝕩,9⌊𝕩-1⟩ ≡ ⊢_tvar 𝕩⥊↕10}¨ (1+↕10000) ∾ ≤⟜(2⋆20)⊸/ ⍷∧⌊⥊1.5‿2⋆⌜↕40
|
||||||
|
%USE tvar ⋄ ⊢_tvar ↕0 %% 0‿0‿1‿0‿¯1
|
||||||
|
|
||||||
%USE tvar ⋄ AllEq {a←𝕩⥊0 ⋄ AllEq {0‿1‿2‿4⊸⊏_tvar 3⌾(𝕩⊸⊑) a}¨ ↕𝕩-1}¨ 2+↕40 %% 0‿0‿0‿3
|
%USE tvar ⋄ AllEq {a←𝕩⥊0 ⋄ AllEq {0‿1‿2‿4⊸⊏_tvar 3⌾(𝕩⊸⊑) a}¨ ↕𝕩-1}¨ 2+↕40 %% 0‿0‿0‿3
|
||||||
%USE tvar ⋄ AllEq {a←𝕩⥊0 ⋄ AllEq { ⊢_tvar 9⌾(𝕩⊸⊑) a}¨ 1+↕𝕩-2}¨ 3+↕40 %% 0‿0‿0‿3‿9
|
%USE tvar ⋄ AllEq {a←𝕩⥊0 ⋄ AllEq { ⊢_tvar 9⌾(𝕩⊸⊑) a}¨ 1+↕𝕩-2}¨ 3+↕40 %% 0‿0‿0‿3‿9
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user