HarrisonGrodin/Simplify.jl issues and pull requests

#82 - handling imaginary

Issue - State: open - Opened by Roger-luo about 5 years ago

#81 - handling Irrationals

Issue - State: open - Opened by Roger-luo about 5 years ago

#80 - add Exp rules

Pull Request - State: open - Opened by Roger-luo about 5 years ago - 3 comments

#79 - fix ci

Pull Request - State: open - Opened by Roger-luo about 5 years ago - 1 comment

#78 - any plan to register this package?

Issue - State: open - Opened by Roger-luo about 5 years ago

#77 - Rename Rewrite to Simplify

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago - 1 comment

#76 - Clean up README

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago - 1 comment

#75 - Move algebraic components to Simplify

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago - 1 comment
Labels: standard

#74 - Remove algebraic components

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago
Labels: standard

#73 - contexts, rules and tests for `xor`

Pull Request - State: closed - Opened by JeffreySarnoff over 5 years ago - 2 comments

#72 - rules for `xor`

Issue - State: closed - Opened by JeffreySarnoff over 5 years ago - 2 comments
Labels: standard

#71 - Use Terms.jl

Issue - State: open - Opened by HarrisonGrodin over 5 years ago
Labels: improvement, performance

#70 - Update CI

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago

#69 - Clean up global context design

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago
Labels: improvement

#68 - Memoize normalization

Issue - State: open - Opened by HarrisonGrodin over 5 years ago
Labels: feature, performance

#67 - Remove AC matching

Pull Request - State: closed - Opened by HarrisonGrodin over 5 years ago - 2 comments
Labels: feature, help wanted, improvement, performance

#66 - Resolve merge conflicts in fix/speed and bring it up to date with Master

Pull Request - State: closed - Opened by MasonProtter almost 6 years ago

#65 - Improve test coverage

Pull Request - State: closed - Opened by HarrisonGrodin almost 6 years ago

#64 - Fixed show of Term objects

Pull Request - State: closed - Opened by MasonProtter almost 6 years ago - 2 comments
Labels: improvement

#63 - Memoize the `normalize` function

Pull Request - State: closed - Opened by MasonProtter almost 6 years ago - 5 comments

#62 - Reduce dynamic dispatch in `normalize`

Issue - State: open - Opened by MasonProtter almost 6 years ago
Labels: performance

#61 - Ugly printing of terms

Issue - State: closed - Opened by MasonProtter almost 6 years ago - 1 comment
Labels: improvement

#60 - [WIP] Fix startup speed

Pull Request - State: open - Opened by HarrisonGrodin almost 6 years ago - 9 comments
Labels: improvement

#59 - Fix example in Readme

Pull Request - State: closed - Opened by MasonProtter almost 6 years ago - 2 comments

#58 - Test properties

Pull Request - State: open - Opened by HarrisonGrodin almost 6 years ago

#57 - Clean up abstract rule definitions

Pull Request - State: closed - Opened by HarrisonGrodin almost 6 years ago
Labels: improvement

#56 - Redesign image API

Pull Request - State: closed - Opened by HarrisonGrodin almost 6 years ago
Labels: improvement

#55 - Improve efficiency of orderless matching

Issue - State: open - Opened by HarrisonGrodin almost 6 years ago
Labels: improvement, performance

#54 - Inject matched variables into `where` predicate scope

Issue - State: open - Opened by HarrisonGrodin almost 6 years ago
Labels: feature

#53 - Potential nontermination for flat operators

Issue - State: open - Opened by HarrisonGrodin almost 6 years ago - 4 comments
Labels: bug

#52 - Refactor properties as predicates

Pull Request - State: closed - Opened by HarrisonGrodin almost 6 years ago
Labels: improvement

#51 - Add predicates to PatternRule

Pull Request - State: closed - Opened by HarrisonGrodin almost 6 years ago
Labels: feature, improvement

#50 - Patterns for constant and symbolic terms

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: feature

#49 - Evaluation failure on unbound variables

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: bug

#48 - Remove Completion

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 1 comment

#47 - [RFC] Move Completion to unique package

Issue - State: closed - Opened by HarrisonGrodin about 6 years ago - 3 comments
Labels: question

#46 - Handling of rewrites with respect to types

Issue - State: open - Opened by HarrisonGrodin about 6 years ago - 5 comments
Labels: question

#45 - Refactor Term storage

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 8 comments
Labels: feature, improvement

#44 - Improve interface for symbolic constants

Issue - State: closed - Opened by MasonProtter about 6 years ago - 6 comments
Labels: improvement

#43 - Inaccurate example in the README

Issue - State: closed - Opened by MasonProtter about 6 years ago
Labels: bug

#42 - WIP Implement REPL mode for Rewrite

Pull Request - State: closed - Opened by MasonProtter about 6 years ago - 26 comments

#41 - Applying manipulations to comparisons

Issue - State: open - Opened by MasonProtter about 6 years ago - 2 comments
Labels: question, standard

#40 - Property API refactor

Issue - State: closed - Opened by HarrisonGrodin about 6 years ago - 1 comment
Labels: improvement

#39 - Enhance exponentiation rules: Take Two

Pull Request - State: closed - Opened by MasonProtter about 6 years ago - 2 comments

#38 - Reduce compile times

Issue - State: open - Opened by MasonProtter about 6 years ago
Labels: improvement, performance

#37 - Enhance exponentiation rules

Pull Request - State: closed - Opened by MasonProtter about 6 years ago - 6 comments

#36 - Incorrect displaying of string constants

Issue - State: closed - Opened by HarrisonGrodin about 6 years ago
Labels: bug

#35 - Store and derive information from function call images

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: feature

#34 - Validate accuracy of standard rules in various domains

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: bug, help wanted, improvement

#33 - Distributivity not assumed

Issue - State: open - Opened by timziebart about 6 years ago - 3 comments
Labels: feature, question

#32 - Improvements to intermediate numerical evaluation

Issue - State: open - Opened by MasonProtter about 6 years ago - 7 comments
Labels: improvement

#31 - Store variable images globally

Issue - State: closed - Opened by MasonProtter about 6 years ago - 3 comments
Labels: improvement

#30 - Test accuracy of standard rules

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments
Labels: standard

#29 - Support for infinite terms

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: feature

#28 - Named rules

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: feature, good first issue

#27 - Rewrite REPL mode

Issue - State: closed - Opened by MasonProtter about 6 years ago - 3 comments
Labels: feature

#26 - Fix normalization with merged constant values

Issue - State: closed - Opened by HarrisonGrodin about 6 years ago - 1 comment
Labels: bug

#25 - error "using Rewrite"

Issue - State: closed - Opened by atteson about 6 years ago - 1 comment

#24 - Update Travis for 1.0

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 3 comments

#23 - Fix AppVeyor script

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments

#22 - Minor improvements

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 1 comment

#21 - Normalize Flat subexpressions

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: bug

#20 - Derive orderlessness for special elements and repetition operators

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: standard

#19 - Rearchitect contexts

Issue - State: closed - Opened by HarrisonGrodin about 6 years ago - 1 comment
Labels: improvement

#18 - Function image generation

Issue - State: open - Opened by HarrisonGrodin about 6 years ago - 1 comment
Labels: feature

#17 - Domain images

Issue - State: open - Opened by HarrisonGrodin about 6 years ago
Labels: feature

#16 - Prefer inv over division

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments

#15 - Implement differentiation rules

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments
Labels: feature

#14 - Fix tangent negative angle

Pull Request - State: closed - Opened by Yijia-Chen about 6 years ago - 2 comments

#13 - Properties design overhaul

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments
Labels: feature

#12 - Add basic motivation in readme

Pull Request - State: closed - Opened by Yijia-Chen about 6 years ago - 3 comments

#11 - Implement predicates

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 3 comments
Labels: feature

#10 - Rename SymReduce.jl to Rewrite.jl

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago

#9 - Initial README

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments

#8 - Implement mathematical rules

Pull Request - State: closed - Opened by Yijia-Chen about 6 years ago - 2 comments

#7 - Implement rules

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments
Labels: feature

#6 - Implement completion

Pull Request - State: closed - Opened by HarrisonGrodin about 6 years ago - 2 comments
Labels: feature

#5 - Fix CI

Pull Request - State: closed - Opened by HarrisonGrodin over 6 years ago - 2 comments

#4 - Improve patterns

Pull Request - State: closed - Opened by HarrisonGrodin over 6 years ago - 2 comments
Labels: feature

#3 - Fix Travis

Pull Request - State: closed - Opened by HarrisonGrodin over 6 years ago - 2 comments

#2 - Implement patterns

Pull Request - State: closed - Opened by HarrisonGrodin over 6 years ago - 2 comments
Labels: feature

#1 - Install dependencies via Pkg3

Pull Request - State: closed - Opened by HarrisonGrodin over 6 years ago - 2 comments

GitHub / HarrisonGrodin/Simplify.jl issues and pull requests