Thank you for your comment! I started to implement a computer algebra system as a killer application of customizable pattern matching of Egison. It allows use

Thank you for your comment! I started to implement a computer algebra system as a killer application of customizable pattern matching of Egison. It allows users to customize the pattern-method for mathematical expressions from more primitive level than the other computer algebra systems.