advancedresearch/poi issues and pull requests

#1097 - Fixed doc in script

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1096 - Added two inverses

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1095 - Add `(!= _)` constraint on constants in rules

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion

#1094 - Refactored a little

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1093 - Is it possible for Poi to automatically find easily invertible formulas?

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion

#1092 - Add `cross` symbol

Issue - State: open - Opened by bvssvni over 1 year ago
Labels: discussion, draft

#1091 - Published 0.24.0

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1090 - Added types for `dot` and `cross`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1089 - Added `cross` evaluation rule

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1088 - Added `x * (x - 1) / 2 <=> ((2 * x - 1)^2 - 1) / 8`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1087 - Added some helpful rules

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1086 - Added some useful rules

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1085 - Not able to solve simple goal

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: easy

#1084 - Renamed `Expr::Op` to Expr::EOp`

Pull Request - State: closed - Opened by bvssvni over 1 year ago

#1083 - Rename `Expr::Op` to `Expr::EOp`

Issue - State: closed - Opened by bvssvni over 1 year ago
Labels: easy

#1082 - Make echo work with knowledge

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1081 - Improved output

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1080 - Fixed `imply(imply(a)(b) & imply(b)(c))(imply(a)(c)) => true`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1079 - Moved `imply(a & b)(a) => true`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1078 - Added `imply(a)(b) & imply(b)(c) => imply(a)(c)`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1077 - Added `imply(a)(b) & imply(b)(a) <=> eqb(a)(b)`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1076 - Added support for substitution

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1075 - Add support for substitution (`subst(a, a, b) => a`)

Issue - State: closed - Opened by bvssvni about 2 years ago
Labels: hard

#1074 - Moved to "Boolean algebra" section

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1073 - Added `imply(a)(b) <=> imply(!b)(!a)`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1072 - Added `and(imply(a)(c))(imply(b)(c)) <=> imply(or(a)(b))(c)`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1071 - Added `imply(and(a)(b))(a) => true`

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1070 - Fixed compiler warnings

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1069 - Use "poi" instead of "poireduce"

Pull Request - State: closed - Opened by bvssvni about 2 years ago

#1068 - Add `(!= _)` symbol

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#1067 - Add `prime` symbol

Issue - State: open - Opened by bvssvni over 2 years ago
Labels: discussion, draft

#1066 - Added `xor(a)(b) <=> a & !b | !a & b`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1065 - Added `a | !a => true`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1064 - Added comment about decidable vs constructive

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1063 - Removed `eqb => eq`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1062 - Remove `eqb => eq`

Issue - State: open - Opened by bvssvni almost 4 years ago - 2 comments
Labels: discussion, draft

#1061 - Use Avalog as context solver

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1060 - Added commutativity utilities for `|` and `&`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1059 - Added bound negative and positive

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1058 - Added De Morgan's laws utility

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1057 - Added associativity laws for `&` and `|`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1056 - Added reverse modus tollens

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1055 - Added `!(!x) => x`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1054 - Handle parens display for unary operators

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1053 - Added precedence to `Not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1052 - Added parens to `!(!x)`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1051 - Turn on/off decidable tactics for Boolean algebra

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1050 - Added modus ponens

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1049 - Added `a & (b | c) <=> a & b | a & c`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1048 - Added two generic transforms

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1047 - Fixed generic transformation

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1046 - Added `imply · and <=> imply · (id, imply · snd)`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1045 - Moved laws to Boolean algebra section

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1044 - Use point-free law for `imply <=> or · not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1043 - Added `imply(a)(b) <=> or(not(a))(b)`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1042 - Print steps from start to goal in REPL

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1041 - Direct 4-value logic

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1040 - Published 0.23.0

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1039 - Handling inconsistency of function equality

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1038 - Added some function inequality utilities

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1037 - Added "help catus"

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1036 - Added "help script"

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1035 - Added "source/collatz/script.poi"

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1034 - Added support for comments

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1033 - Disable proof search when inlining

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1032 - Add "Q.E.D." to scripts

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1031 - Add equivalences by inlining

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1030 - Make Poi-Reduce work with `cat`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1029 - Add "run file.poi" to execute files as Poi-Reduce scripts

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion, draft

#1028 - Added subgoal to REPL

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1027 - Added `repeat` as alternative to ` `

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1026 - Added `id = not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1025 - Add subgoal to REPL

Issue - State: closed - Opened by bvssvni almost 4 years ago
Labels: hard

#1024 - Fixed `(= true) <=> idb` and `(= false) <=> not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1023 - Added "inline <def>"

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1022 - Improved evaluation

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1021 - Added support for custom definitions

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1020 - Add syntax for comments

Issue - State: closed - Opened by bvssvni almost 4 years ago
Labels: medium

#1019 - Added section for function inequalities

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1018 - Added symmetric path utilities for `if`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1017 - Added `f:[arity]2(x){g}[g] . g => f[g](true)(g(x))`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1016 - Compute arity of composition

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1015 - Fixed bug

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1014 - Fixed display of redundant equivalences

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1013 - Match arity on expression

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1012 - Added `g · f:[arity]1{g} <=> f:[arity]1{g}[g] · g`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1011 - Fixed `f:[arity]1 <=> f:[arity]1[g] · g`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1010 - Added `(g . (* x))(y) => g(x * y)`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1009 - Added `inc[even] => not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1008 - Added `g · f:[arity]1 <=> f[g] · g`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1007 - Added `(= true) => idb` and `(= false) => not`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1006 - Added Catuṣkoṭi existential lift to standard library

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1005 - Added `∃(even · (/ \k){even}) => true`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1004 - Added duplication to standard library

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1003 - Added `dup` symbol

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1002 - Added `both` and `neither` symbols

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1001 - Added `max2{eq} => fst` and `min2{eq} => fst`

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#1000 - Inequal normal paths

Issue - State: open - Opened by bvssvni almost 4 years ago
Labels: discussion

#999 - Published 0.22.1

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

#998 - Added some max/min symmetric normal paths

Pull Request - State: closed - Opened by bvssvni almost 4 years ago

GitHub / advancedresearch/poi issues and pull requests