Changes
http://wiki.axiom-developer.org/358VariableIsApparentlyAlwaysAssumedToBePositive/diff
--
??changed:
-Why isn't $[$h(i) for i in -1.0..0.0 by 0.5$]$ sensible (especially in Axiom)?
Why is the signature of BY given (for any S in SEG S) by '(%, Integer)->%' and
not '(%, S)->%' (when S is Float)?
-
-\begin{axiom}
-fs:=-3.5..8.0 by 2
-expand fs
-gs:=-3.5..8.0 by 2.0
-\end{axiom}
+Since it is not related to this issue report, the discussion of
+"float segments" has been moved to SandBoxFloatSegment.
+
--removed:
-Anonymous asked::
-
- Why is the signature of BY ... (%, Integer)->% and not
- (%, S)->%
-
-I think that's a good question!
-
-The definition of BY is::
-
- BY: (%, Integer) -> %
- ++ \spad{s by n} creates a new segment in which only every n-th
- ++ element is used.
-
-and the representation for Segment is::
-
- Segment(S:Type): SegmentCategory(S) with
- ...
- Rep := Record(low: S, high: S, incr: Integer)
-
-[6 more lines...]
--removed:
-$[\dots]$
-
-Let's examine Segment S::
-
- So this is how it works by design, but I think it would be quite easy to
- define a new type of segment that has the properties that you expect.
-
-The function 'BY' is specified in 'SEGCAT' as::
-
- [1] (D,Integer) -> D from D if D has SEGCAT D2 and D2 has TYPE and
- SEGCAT D2 exports
- BY: (%, Integer) -> %
- ++ \spad{s by n} creates a new segment in which only every \spad{n}-th
- ++ element is used.
-
-and 'SEGCAT' exports::
-
- ------------------------------- Operations --------------------------------
- BY : (%,Integer) -> % ?..? : (S,S) -> %
-[181 more lines...]
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
