search

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
70 stars 14 forks source link

SequenceOf #25

Closed windsteiger closed 11 years ago

windsteiger commented 11 years ago

SequenceOf computation: sequenceIteration should produce a list, otherwise comparison =!= $Failed does not work as intended in all cases.

In any case, SetOf and TupleOf are more different w.r.t. allowed ranges, so maybe we don't need SequenceOf as a common basis anymore.