From: Alexey Rusakov <ktirf@altlinux.org>
To: ALT Linux Sisyphus discussion list <sisyphus@lists.altlinux.org>
Subject: Re: [sisyphus] [JT] Re: I: Sisyphus-20051024 packages: +1! +4 (4867)
Date: Mon, 24 Oct 2005 03:42:13 +0400
Message-ID: <435C1FD5.2080408@altlinux.org> (raw)
In-Reply-To: <20051023233042.GB3320@solemn.turbinal.org>
Alexey Tourbin wrote:
>Не понял. Коммутативность(+) ::= forall(a,b) a+b = b+a
>Сравнение версий и не может быть коммутативным в этом смысле.
>То есть речь идёт не о свойстве a<b=b<a, а о свойстве a<b=b>a.
>
>
Угу, это антикоммутативностью зовётся.
--
Alexey "Ktirf" Rusakov
next prev parent reply other threads:[~2005-10-23 23:42 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-10-23 22:07 [sisyphus] " Alexey M. Tourbin
2005-10-23 22:10 ` Dmitry V. Levin
2005-10-23 22:41 ` [sisyphus] " Alexey Tourbin
2005-10-23 22:50 ` Dmitry V. Levin
2005-10-23 23:30 ` Alexey Tourbin
2005-10-23 23:42 ` Alexey Rusakov [this message]
2005-10-23 23:57 ` [sisyphus] Re: [JT] " Alexey Tourbin
2005-10-23 23:49 ` [sisyphus] " Dmitry V. Levin
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=435C1FD5.2080408@altlinux.org \
--to=ktirf@altlinux.org \
--cc=sisyphus@lists.altlinux.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
ALT Linux Sisyphus discussions
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://lore.altlinux.org/sisyphus/0 sisyphus/git/0.git
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V2 sisyphus sisyphus/ http://lore.altlinux.org/sisyphus \
sisyphus@altlinux.ru sisyphus@altlinux.org sisyphus@lists.altlinux.org sisyphus@lists.altlinux.ru sisyphus@lists.altlinux.com sisyphus@linuxteam.iplabs.ru sisyphus@list.linux-os.ru
public-inbox-index sisyphus
Example config snippet for mirrors.
Newsgroup available over NNTP:
nntp://lore.altlinux.org/org.altlinux.lists.sisyphus
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git