File: same-doc.m2

package info (click to toggle)
macaulay2 1.25.05%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 172,152 kB
  • sloc: cpp: 107,824; ansic: 16,193; javascript: 4,189; makefile: 3,899; lisp: 702; yacc: 604; sh: 476; xml: 177; perl: 114; lex: 65; python: 33
file content (47 lines) | stat: -rw-r--r-- 1,115 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
-- Status: rewritten July 2018
-- Author: Lily Silverstein

doc///
 Key
  same
 Headline
  whether everything in a list is the same
 Usage
  same L
 Inputs
  L:
   a list
 Outputs
  b:
   a Boolean
 Description
  Example
   same {1, 1, 1, 1}
   same {1, 2, 1, 1}
  Text
   The comparison is done with "===", which is quick, but not always intuitive. Here is a 
   simple example of what can go wrong:
  Example
   R = QQ[x,y,z]; 
   L = {gcd{x,y}, x/x, 1}
   same L
  Text
   We can see the problem by asking {\tt Macaulay2} to display the class of each element of {\tt L}.
   (Or use the function @TO uniform@, which returns whether or not the elements of a list
       are all of the same class.)
  Example
   apply(L, class)
   uniform L
  Text
   The first {\tt 1} is an element of the ring {\tt R}, the second {\tt 1} is an
   element of the fraction field of {\tt R}, and the third {\tt 1} is an integer. Thus
   {\tt Macaulay2} thinks of these three elements as being pairwise unequal, with respect
   to the operator "===".
 SeeAlso
  commonest
  number
  set
  uniform
  unique
  "lists and sequences"
///