Opened 9 years ago

Closed 9 years ago

#518 closed proposed feature (fixed)

document, how fetch behaves in case of different variable number in source and target rings

Reported by: anonymous Owned by: somebody
Priority: minor Milestone: Release 4-0-0
Component: doc Version: 3-1-6
Keywords: fetch different number of variables Cc:


In the documentation it could be described, how 'fetch' behaves in case the target ring has less variables than the source ring:

If #{vars(destring)}=j then all variables var(i) with i>j in the source ring are mapped to zero.

Change History (2)

comment:1 Changed 9 years ago by kroeker@…

same holds for parameters

comment:2 Changed 9 years ago by hannes

Resolution: fixed
Status: newclosed

fetch maps variables without an image to 0 git commit c80db418c982d62b159142d4e5b4b04b6d3754cb

Note: See TracTickets for help on using tickets.