Re: [nimh-dev] sequence definition

[Tom Plagge <tplagge@xxxxxxxxxxxxxxxxx>]

This seems to cover it.  How are you going to represent a sequence?  I can 
imagine it as an object, dictionary, or list.  Are you writing "pick" as a 
part of this?  Have you committed any code?
-t 

> I think this exhaustively defines what counts as a sequence:
> 
> x is a unit sequence iff:
> 1. x = first|last|cur|.|prev|next|new, or
> 2. x \in N\{0}
> 
> x is a sequence iff:
> 1. x is a unit sequence, or
> 2. x = y-z where y,z are unit sequences, or
> 3. x = y:z where y is a unit or user-defined sequence and z \in Z\{0}, or
> 4. x = all|pseq|unseen, or
> 5. x = !y where y is a sequence, or
> 6. x = s_0 ... s_n for sequences s_0,...,s_n, or
> 7. x is a user-defined name for a sequence y, or
> 8. x = y:(first|last|next|prev) where y is a user-defined name for a 
> sequence
> 
> I gleaned this from the man page for mh-sequence. Do you guys see anything 
> I missed, or anything incorrect, or anything you'd like to add right now?
> 
> -- 
> J.
> 
> 
> _______________________________________________
> nimh-dev mailing list
> nimh-dev@xxxxxxxxxxx
> http://lists.ellipsis.cx/mailman/listinfo/nimh-dev
> 

________________________________________________________________________

Tom Plagge                              UC Berkeley Physics Dept.
351 LeConte Hall                        Voice: (510) 643-1650
Berkeley, CA  94720                     Email: tplagge@xxxxxxxxxxxxxxxxx
________________________________________________________________________

_______________________________________________
nimh-dev mailing list
nimh-dev@xxxxxxxxxxx
http://lists.ellipsis.cx/mailman/listinfo/nimh-dev