дата и время (местное время вместо UTC) (Maxima)

Мне не ясно, что именно вам нужно, но, возможно, поможет следующее. Кстати, вам действительно нужно извлекать части (год, месяц, день и т. д.)? Если это так, возможно, было бы удобнее работать непосредственно в Лиспе. См. DECODE-UNIVERSAL-TIME в Common Lisp Hyperspec (поиск в Интернете найдет его).

timedate now (в только что выпущенной версии Maxima 5.39) принимает необязательный аргумент, представляющий собой смещение часового пояса в часах (плюс или минус). Смещение часового пояса может быть нецелым (например, 2,5). Смещение 0 указывает на UTC. Если смещение опущено, время форматируется в местном часовом поясе.

(%i5) t:absolute_real_time();
(%o5)                             3691202499
(%i6) timedate (t, 0);
(%o6)                      2016-12-20 06:01:39+00:00
(%i7) timedate (t);
(%o7)                      2016-12-19 22:01:39-08:00

Обратите внимание, что флаг перехода на летнее время применяется в «время времени». Вот время следующего лета, когда действует летнее время.

(%i8) timedate (t + 6*30.25*24*3600);
(%o8)                      2017-06-19 11:01:39-07:00

Функция parse_timedate также была (в Maxima 5.39) обновлена ​​для распознавания смещения часовых поясов.

(%i9) parse_timedate ("2016-12-19 22:01:39-08:00");
(%o9)                             3691202499

Как и в случае с timedate, если смещение опущено, предполагается, что оно находится в местном часовом поясе.

(%i10) parse_timedate ("2016-12-19 22:01:39");
(%o10)                            3691202499

Также обратите внимание, что Maxima не распознает никаких символических индикаторов часовых поясов, таких как «UTC», «GMT», «EDT», «America/New_York» и т. д., только числовые смещения часовых поясов.

Чтобы прояснить проблему, прежде чем раскрыть решение: вот шаги, которые я предпринимаю в Maxima v5.30, чтобы получить время в формате UTC в удобочитаемом формате:

Примечание. Когда я использую Maxima v5.30 (в Великобритании), по какой-то неизвестной причине время всегда корректируется по Гринвичу на 10 часов и не корректируется по летнему времени.

/* 1st Jan 2017 12 noon: */
timedate(3692260800); /* "2017-01-01 22:00:00+10:00" */
timedate(3692260800-10*3600); /* "2017-01-01 12:00:00+10:00" */
substring(timedate(3692260800-10*3600),1,20); /* "2017-01-01 12:00:00" */

Примечание: timedate работает лучше/по-другому в более поздних версиях Maxima, но некоторые учреждения рекомендуют устанавливать определенную версию Maxima.

Иногда мне нужна дата в форме: «ггггММддЧЧммсс». Функция для этого:

SecUTCToDate(vSec,vHour):=
block([d1,d2],
d1:timedate(vSec+vHour*3600),
d2:concat(substring(d1,1,5), substring(d1,6,8), substring(d1,9,11), substring(d1,12,14), substring(d1,15,17), substring(d1,18,20)),
parse_string(d2)
);

Примечание: [d1,d2] сохраняет эти переменные локальными внутри блока, а не глобальными.

Чтобы получить местное время, мне нужно добавить часы в зависимости от моего часового пояса (0 в Великобритании) и летнего времени. Чтобы вычислить, находится ли время в периоде летнего времени, требуется отдельная функция для каждого часового пояса: в Великобритании и многих европейских странах одна из таких функций:

/* correct for the years 1900-2200 inclusive */
SecUTCIsDSTUK(vSec):=
block([vLeap,vDaysMar25,vDaysOct25,vWDayMar25,vWDayOct25,vRange1,vRange2],
vYear : parse_string(substring(timedate(vSec),1,5)),
vLeap : floor((vYear-1900)/4), if (vYear>=2100) then vLeap : vLeap-1,
vDaysMar25 : (vYear-1900)*365 + vLeap + 83,
vDaysOct25 : vDaysMar25 + 214,
vWDayMar25 : mod(vDaysMar25+1,7),
vWDayOct25 : mod(vDaysOct25+1,7),
vRange1 : (vDaysMar25+mod(-vWDayMar25,7))*86400 + 3600,
vRange2 : (vDaysOct25+mod(-vWDayOct25,7))*86400 + 3600,
if ((vSec >= vRange1) and (vSec < vRange2)) then 1 else 0);

Вы можете создать файл Mac с такой функцией и вызывать функцию при необходимости, например:

load("C:\\MyFolder\\MyFile.mac");
SecUTCIsDSTUK(absolute_real_time());
SecUTCIsDSTUK(absolute_real_time()+86400*180);

спасибо за ваш полезный ответ,

результаты (v. 5.39.0) (работает нормально, параметр 2 опущен, дает местное время, параметр 2 как 0 дает UTC):

t:3691202499;
timedate (t);
timedate (t + 6*30.25*24*3600);
timedate (t + 6*30*24*3600);
timedate (t, 0);
timedate (t + 6*30.25*24*3600, 0);
timedate (t + 6*30*24*3600, 0);
:lisp (decode-universal-time 3691202499)
:lisp (decode-universal-time 3691202499 0)
:lisp (decode-universal-time 3706754499)
:lisp (decode-universal-time 3706754499 0)

3691202499
"2016-12-20 06:01:39+00:00"
"2017-06-19 19:01:39+01:00"
"2017-06-18 07:01:39+01:00"
"2016-12-20 06:01:39+00:00"
"2017-06-19 18:01:39+00:00"
"2017-06-18 06:01:39+00:00"
39 1 6 20 12 2016 1 NIL 0
39 1 6 20 12 2016 1 NIL 0
39 1 7 18 6 2017 6 T 0
39 1 6 18 6 2017 6 NIL 0

результаты (v. 5.30.0) (кажется, что параметр 2 опущен, дает UTC+10 без перехода на летнее время):
(если это правда, мне придется найти другой способ получить местное время, возможно, с помощью Common ЛИСП-команды)

t:3691202499;
timedate (t);
timedate (t + 6*30.25*24*3600);
timedate (t + 6*30*24*3600);
:lisp (decode-universal-time 3691202499)
:lisp (decode-universal-time 3691202499 0)
:lisp (decode-universal-time 3706754499)
:lisp (decode-universal-time 3706754499 0)

3691202499
"2016-12-20 16:01:39+10:00"
"2017-06-20 04:01:39.0+10:00"
"2017-06-18 16:01:39+10:00"
39 1 16 20 12 2016 1 NIL -10
39 1 6 20 12 2016 1 NIL 0
39 1 16 18 6 2017 6 NIL -10
39 1 6 18 6 2017 6 NIL 0

(Я вижу, что функции timedate и decode-universal-time имеют ключевые отличия между версиями Maxima)

спасибо за упоминание веб-сайта,
CLHS: Section The Environment Dictionary
http://clhs.lisp.se/Body/c_enviro.htm

есть ли список команд LISP, которые работают в Maxima?

основная причина использования метки даты заключается в следующем:
создавать метки даты для имен файлов, таких как 'z title yyyymmddhhmmss.txt', или для понятных дат внутри этих файлов, таких как 'hh:mm dd/mm/yyyy', метод манипуляции со строками был самым простым методом, который я мог успешно закодировать (мне явно не нужно извлекать отдельные d m y и т. д.)