File: 2023-01-19-vector-types.tst

package info (click to toggle)
gap 4.15.1-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 110,212 kB
  • sloc: ansic: 97,261; xml: 48,343; cpp: 13,946; sh: 4,900; perl: 1,650; javascript: 255; makefile: 252; ruby: 9
file content (9 lines) | stat: -rw-r--r-- 263 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
 
# see https://github.com/gap-system/gap/issues/5330
gap> z:= Immutable( ZeroVector( Integers, 1 ) );;
gap> IsZero( z );  HasIsZero( z );
true
true
gap> v:= Vector( [ 1 ], z );;
gap> HasIsZero( v );  IsZero( v ); # this used to incorrectly return true
false
false