Running 1 test suites...
Test suite astro-test: RUNNING...
Data.Astro.Time:
LCT <-> LST:
1980-04-22 14:36:51.67 LCT -> 1980-04-22 04:24:44.65 LST: [OK]
1980-04-22 04:24:44.65 LST -> 1980-04-22 14:36:51.67 LCT: [OK]
UT -> LST:
1980-04-22 18:36:51.67 UT -> 04:24:44.65 LST: [OK]
1979-02-26 16:45:00 UT -> 04:24:44.65 LST: [OK]
Data.Astro.Time.GregorianCalendar:
easter day:
2009: [OK]
2016: [OK]
2027: [OK]
easter properties: [OK, passed 100 tests]
leap year:
2016: [OK]
2000: [OK]
2015: [OK]
1900: [OK]
1800: [OK]
day number:
1 Jan of leap year: [OK]
11 Feb of leap year: [OK]
10 Mar of leap year: [OK]
15 Nov of leap year: [OK]
31 Dec of leap year: [OK]
1 Jan of non-leap year: [OK]
11 Feb of non-leap year: [OK]
10 Mar of non-leap year: [OK]
15 Nov of non-leap year: [OK]
31 Dec of non-leap year: [OK]
Data.Astro.Time.JulianDate:
to julian day:
19 Jun 2009 18:00: [OK]
1 Aug 2009 12:00: [OK]
Gregorian start day: [OK]
Gregorian before start: [OK]
19 Jun 2009: [OK]
1 Aug 2009: [OK]
from julian day:
19 Jun 2009 18:00: [OK]
1 Aug 2009 12:00: [OK]
Gregorian start day: [OK]
Gregorian before start: [OK]
julian conversion properties:
before George: [OK, passed 100 tests]
after George: [OK, passed 100 tests]
day of the week:
friday at midnight: [OK]
friday before moon: [OK]
friday after moon: [OK]
thursday after moon: [OK]
sunday at midnight: [OK]
spliToDayAndTime:
100000.5: [OK]
100000.7: [OK]
100001.3: [OK]
2444352.108931: [OK]
property: [OK, passed 100 tests]
UT <-> LCT:
2016-08-07 02:10:10 +4 LCT -> UT: [OK]
numberOfCenturies:
J2000..2009-06-06: [OK]
numberOfYears:
B1950..1979-07-02: [OK]
numberOfDays:
10 .. 15: [OK]
add hours:
+ 12H: [OK]
+ 0H: [OK]
- 6H: [OK]
julian start date: [OK]
print:
show: [OK]
printLtcHs: [OK]
lctToYMDHMS: [OK]
JD: Num instance:
+: [OK]
-: [OK]
*: [OK]
negate: [OK]
abs: [OK]
signum > 0: [OK]
signum = 0: [OK]
signum < 0: [OK]
fromInteger: [OK]
Data.Astro.Time.Sidereal:
GST <-> UT conversions:
1980-04-22 14:36:51.67 UT -> 1980-04-22 04:40:05.23 GST: [OK]
2016-08-04 19:28:43.15 UT -> 2016-08-04 16:23:52.94 GST: [OK]
1980-04-22 04:40:05.23 GST -> 1980-04-22 14:36:51.67 UT: [OK]
2016-08-04 16:23:52.94 GST -> 2016-08-04 19:28:43.15 UT: [OK]
property: [OK, passed 100 tests]
GST <-> LST converions:
04:40:05.23 GST -> 00:24:05.23 LST: [OK]
15:25:35.12 GST -> 20:20:27.92 LST: [OK]
21:41:25.78 GST -> 04:36:13.78 LST: [OK]
00:24:05.23 LST -> 04:40:05.23 GST: [OK]
20:20:27.92 LST -> 15:25:35.12 GST: [OK]
04:36:13.78 LST -> 21:41:25.78 GST (w/ DC): [OK]
04:36:13.78 LST -> 21:41:25.78 GST: [OK]
property longitude=-101.13: [OK, passed 100 tests]
property longitude=31.7: [OK, passed 100 tests]
Data.Astro.Time.Conv:
LCT conversion properties:
TZ: -5: [OK, passed 100 tests]
TZ: 0: [OK, passed 100 tests]
TZ: 3: [OK, passed 100 tests]
LCD Conversion properties:
TZ: -5: [OK, passed 100 tests]
TZ: 0: [OK, passed 100 tests]
TZ: 3: [OK, passed 100 tests]
Data.Astro.Time.Epoch:
Epoch:
B1900: [OK]
B1950: [OK]
J1900: [OK]
J2000: [OK]
J2050: [OK]
J2010: [OK]
Data.Astro.Coordinate:
RA <-> HA:
RA 18.53 in 1980-04-22 18:36:51.67 to HA: [OK]
HA 9.87 in 1980-04-22 18:36:51.67 to RA: [OK]
RA <-> HA property for Novosibirsk: [OK, passed 100 tests]
RA <-> HA property for Rio de Janeiro: [OK, passed 100 tests]
EC2 <-> HC:
EC2 23.219 5.862 -> HC 19.334 283.271: [OK]
HC 19.334 283.271 -> EC2 23.219 5.862: [OK]
property: [Failed]
*** Failed! Falsified (after 3 tests and 6 shrinks):
(0.0,-1.0e-4,0.0)
(used seed 8297533674916148243)
EC1 <-> HC:
sunEC1 -> sunHC: [OK]
sunHC -> sunEC1: [OK]
obliquity:
2009-07-06: [OK]
2016-08-12: [OK]
Ecliptic <-> Equatorial:
EcC 4.875 139.6861 on 2009-07-06 to EC1: [OK]
EC1 19.535 9.581 to EcC on 2009-07-06: [OK]
property: [OK, passed 100 tests]
Galactic <-> Equatorial:
EC 10.053 10.35 -> GC: [OK]
GC 51.122 232.247 -> EC: [OK]
property: [OK, passed 100 tests]
Data.Astro.Types:
DecimalDegrees <-> DecimalHours:
12.03 H -> 180.45 D: [OK]
180.45 D -> 12.03 H: [OK]
property: [OK, passed 100 tests]
DecimalDegrees <-> Radians:
0 -> 0 (rad): [OK]
45 -> PI/4: [OK]
90 -> PI/2: [OK]
180 -> PI: [OK]
360 -> 2*PI: [OK]
0 -> 0 (deg): [OK]
pi/4 -> 45: [OK]
pi/2 -> 90: [OK]
pi -> 180: [OK]
2*pi -> 360: [OK]
DecimalDegrees <-> DMS:
182 31' 27'': [OK]
182.5: [OK]
property: [OK, passed 100 tests]
DecimalHours <-> HMS:
HMS -> DH 6:00: [OK]
HMS -> DH 18:00: [OK]
HMS -> DH 18:30: [OK]
HMS -> DH 00:00:30: [OK]
HMS -> DH 00:00:10: [OK]
HMS -> DH 23:59:59.99999: [OK]
DH -> HMS 6:00: [OK]
DH -> HMS 18:00: [OK]
DH -> HMS 18:30: [OK]
DH -> HMS 00:00:30: [OK]
property: [OK, passed 100 tests]
Light travel time:
7.7 AU: [OK]
KM <-> AU:
KM -> AU: [OK]
AU -> KM: [OK]
DD: standard typeclasses:
show: [OK]
showList: [OK]
showsPrec: [OK]
== (True): [OK]
== (False): [OK]
/= (True): [OK]
/= (False): [OK]
compare: LT: [OK]
compare: EQ: [OK]
compare: GT: [OK]
<: [OK]
<=: [OK]
>: [OK]
>=: [OK]
max: [OK]
min: [OK]
abs: [OK]
signum > 0: [OK]
signum = 0: [OK]
signum < 0: [OK]
toRational: [OK]
recip: [OK]
properFraction: [OK]
DH: standard typeclasses:
show: [OK]
showList: [OK]
showsPrec: [OK]
== (True): [OK]
== (False): [OK]
/= (True): [OK]
/= (False): [OK]
compare: LT: [OK]
compare: EQ: [OK]
compare: GT: [OK]
<: [OK]
<=: [OK]
>: [OK]
>=: [OK]
max: [OK]
min: [OK]
abs: [OK]
signum > 0: [OK]
signum = 0: [OK]
signum < 0: [OK]
toRational: [OK]
recip: [OK]
properFraction: [OK]
AU: standard typeclasses:
show: [OK]
showList: [OK]
showsPrec: [OK]
== (True): [OK]
== (False): [OK]
/= (True): [OK]
/= (False): [OK]
compare: LT: [OK]
compare: EQ: [OK]
compare: GT: [OK]
<: [OK]
<=: [OK]
>: [OK]
>=: [OK]
max: [OK]
min: [OK]
+: [OK]
-: [OK]
*: [OK]
negate: [OK]
abs: [OK]
signum > 0: [OK]
signum = 0: [OK]
signum < 0: [OK]
fromInteger: [OK]
toRational: [OK]
/: [OK]
recip: [OK]
properFraction: [OK]
Data.Astro.Utils:
fromFixed:
property: [OK, passed 100 tests]
5.111123: [OK]
-999.9999: [OK]
fraction:
property: [OK, passed 100 tests]
5.562: [OK]
-7.93: [OK]
-999.9999: [OK]
trunc:
property: [OK, passed 100 tests]
5.562: [OK]
-7.93: [OK]
reduceToZeroRange:
24 -465.986246: [OK]
property for r = 24: [OK, passed 100 tests]
property for r = 1: [OK, passed 100 tests]
Degrees <-> Radians:
0 -> 0 (rad): [OK]
45 -> PI/4: [OK]
90 -> PI/2: [OK]
180 -> PI: [OK]
360 -> 2*PI: [OK]
0 -> 0 (deg): [OK]
pi/4 -> 45: [OK]
pi/2 -> 90: [OK]
pi -> 180: [OK]
2*pi -> 360: [OK]
roundToN:
10.12341234 -> 10.12341: [OK]
-10.123456789 -> -10.123: [OK]
10.9876543 -> 10.987: [OK]
-10.9876543 -> -10.987: [OK]
Data.Astro.CelestialObject:
angle:
Equatorial: Orionis and Canis Majoris: [OK]
Ecliptic: Orionis and Canis Majoris: [OK]
Data.Astro.CelestialObject.RiseSet:
riseAndSet:
a star, NH: [OK]
Polaris, NH: [OK]
Polaris, SH: [OK]
Alpha Crucis, NH: [OK]
Alpha Crucis, SH: [OK]
Sirius, NH: [OK]
Sirius, SH: [OK]
Data.Astro.Effects:
refraction:
19.33: [OK]
horizon: [OK]
azimuth: [OK]
azimuth: [OK]
precession:
low-precision method: [OK]
rigorous method: [OK]
nutation:
Longitude at 1988-09-01 00:00:00: [OK]
Obliquity at 1988-09-01 00:00:00: [OK]
Longitude at 2016-08-12 00:00:00: [OK]
Obliquity at 2016-08-12 00:00:00: [OK]
aberration:
Mars at 1988-09-08: [OK]
Data.Astro.Effects.Parallax:
parallaxQuantities:
DD 50, 60 metres: [OK]
DD -70, 10 metres: [OK]
parallax:
the Sun: [OK]
Data.Astro.Sun:
sunDetails:
J2010.0: [OK]
the Sun's coordinates:
(1) at 2003-07-27 00:00:00: [OK]
(1) at 2016-08-11 13:30:00: [OK]
(1) at 1988-07-27 00:00:00: [OK]
(2) at 1988-07-27 00:00:00: [OK]
(2) at 2003-07-27 00:00:00: [OK]
distance:
at 1988-07-27 00:00:00: [OK]
at 2016-08-12 13:30:00: [OK]
at 2010-10-10 18:00:00: [OK]
angular size:
at 1988-07-27 00:00:00: [OK]
at 2016-08-12 13:30:00: [OK]
at 2010-10-10 18:00:00: [OK]
Sun's rise and set:
Venice at 2016-08-12; Rise: 06:08, DD 68; Set: 20:22, DD 292: [OK]
Ulaanbaatar at 2016-08-13; Rise: 06:45, DD 67; Set: 21:09, DD 293: [OK]
Lima at 2016-08-12; Rise: 06:22, DD 75; Set: 18:04, DD 285: [OK]
Longyearbyen at 2016-08-12; Circumpolar: [OK]
Longyearbyen at 2017-01-12; Down all day: [OK]
Anchorage at 2016-08-13; Rise: 06:05, DD 57; Set: 22:02, DD 302: [OK]
Kazan at 2016-08-18; Rise: 04:21, DD 65; Set: 19:12, DD 295: [OK]
equationOfTime:
zero at June: [OK]
minimum at February: [OK]
maximum at November: [OK]
solarElongation:
Mars at 2010-07-27 20:00:00 UT: [OK]
Data.Astro.Sun.SunInternals:
solveKeplerEquation:
a: [OK]
property: [OK, passed 100 tests]
Data.Astro.Planet.PlanetDetails:
inner planets:
Mercury: [OK]
Venus: [OK]
Jupiter: [OK]
Uranus: [OK]
Earth: [OK]
Data.Astro.Planet.PlanetMechanics:
mechanics:
jupiter mean anomaly: [OK]
jupiter true anomaly: [OK]
planetHeliocentricLongitude: [OK]
planetHeliocentricLatitude: [OK]
planetHeliocentricRadiusVector: [OK]
planetProjectedLongitude: [OK]
planetProjectedRadiusVector: [OK]
planetEclipticLongitude: Jupiter: [OK]
planetEclipticLongitude: Mercury: [OK]
planetEclipticLatitude: Jupiter: [OK]
planetEclipticLatitude: Mercury: [OK]
planetPosition1: Jupiter: [OK]
planetPosition1: Mercury: [OK]
planetPosition: [OK]
pertubations: Jupiter: [OK]
pertubations: Saturn: [OK]
pertubations: Mars: [OK]
planetDistance1: [OK]
planetAngularDiameter: [OK]
planetPhase:
Jupiter: [OK]
Mercury: [OK]
planetBrightLimbPositionAngle:
Jupiter: [OK]
Mercury: [OK]
Data.Astro.Moon:
moonPosition1:
at 2003-09-01 00:00:00 UT: [OK]
moonPosition2:
at 2003-09-01 00:00:00 UT: [OK]
moonDistance:
at 2016-08-27 00:00:00: [OK]
moonAngularSize:
at 0.953425 MDU: [OK]
at 1 MDU: [OK]
moonHorizontalParallax:
at 0.953425 MDU: [OK]
at 1 MDU: [OK]
moonPhase:
at 2016-08-01 00:00:00: [OK]
at 2016-08-21 00:00:00: [OK]
moonBrightLimbPositionAngle:
at 2016-08-28 00:00:00: [OK]
Properties Test Cases Total
Passed 26 299 325
Failed 1 0 1
Total 27 299 326
Test suite astro-test: FAIL
Test suite logged to: dist/test/astro-0.4.3.0-astro-test.log
0 of 1 test suites (0 of 1 test cases) passed.