ideas 1.7

1 Reverse dep Accepted versions
ideas-math ==1.3