v2: Allow infinite `nominalValue`
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 1〜2日
- 初心者へのやさしさ
- 55/100
調査の方向性
Start by reading the PEtab v2 data format documentation and development requirements linked in the issue, then inspect how the specification defines and validates nominalValue. Compare the proposed allowance for inf and -inf with the existing handling of condition table values and the related issues #682 and #684. Done means the specification clearly permits infinite nominal values, keeps NaN invalid, and explains the behavior for estimated and fixed parameters.
索引モデルが issue の本文から書いたものです。
説明
In PEtab 2.0.0, nominalValue is NUMERIC, i.e., finite. The resolution of #682 kept it that way. We propose to allow inf and -inf as well, as erratum E2 to PEtab 2.0.0.
Motivation
PEtab v2 removed parameterScale. The list of changes from v1 says: "To obtain the same effect, the model parameters can be transformed in the model file" (documentation_data_format.rst#L176-L182). The development docs require that problems from earlier versions remain specifiable (development.rst#L249-L251).
With finite nominal values, a transformed parameter doesn't give the same effect. In v1, a parameter k1 with parameterScale=log can be fixed at nominalValue=0 (v1 nominal values are on linear scale). This is a common way to switch off a mechanism without changing the model. After the recommended transformation to log_k1, the same fixed value is -inf, which NUMERIC doesn't allow.
Proposal
nominalValuebecomesNUMERIC or 'inf' or '-inf'.NaNstays invalid.- For
estimate=false, the value is applied as specified. Undefined results such as0 * infare the responsibility of the model author. This already applies to infinite values set via the condition table, whose math expressions supportinfand-inf. - For
estimate=true, the nominal value has no role in the problem definition, so allowing infinite values there has no consequences. Among other things, it allows storing estimation results at the boundary of an infinite parameter domain.
Why an erratum
Like #682, this resolves a conflict between the stated intent of the spec (parameterScale can be replaced by transforming the model) and a type restriction. Admittedly, the conflicting statement is in the informative list of changes, and converters can avoid the issue by not transforming fixed parameters. Still, the restriction doesn't serve a purpose, and allowing infinite values makes the statement about replacing parameterScale accurate.
libpetab-python currently doesn't reject infinite nominal values, so existing tooling already accepts them.
Relates to #682, #684.
🤖 Generated with Claude Code
- 主要言語
- 言語のデータがありません
- スター
- 67
- フォーク
- 16
- 平均マージ
- 1日 19時間
- マージ済み PR（30日）
- 1
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
PEtab-dev/PEtab のほかの issue
-
v2
難易度 4/5 1〜2日 初心者へのやさしさ 20/100
-
Docs: v1→v2 migration guide (incl. parameter scaling) and comparing objective values across tools対応中かも @dweindl が 9 日前に担当しました。 オープンdocumentation
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
Poisson and negative binomial distributions for parameter priors and noise models対応中かも @dweindl が 325 日前に担当しました。 オープンv2
-
v2: Add how-tosオープンdocumentation
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
PEtab-dev/PEtab の issue をすべて見る
似ている issue
-
Type: ☹︎ Bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
posit-dev/great-tables#1028 ·
メンテナーはふだん 1 日以内に返信
-
content good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
[Bug] Adding a column with an existing name returns HTTP 500対応中かも @sanchit955 が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 4 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 67/100
BSData/wh40k-2nd-edition#188 ·