Talk:Normal forms: Difference between revisions
Cmloegcmluin (talk | contribs) No edit summary |
|||
| Line 170: | Line 170: | ||
: Right! So, however, if you want to add it back to the page, there is a slight issue. As you can see, at the moment, HNF is up top, because it's part of every normal form presently on the page. So if you want to add IRREF back, you would have to rework the page a bit to accommodate that. I got us into this mess so I'm happy to help with that. Perhaps we could do it together next week. Let me know. --[[User:Cmloegcmluin|Cmloegcmluin]] ([[User talk:Cmloegcmluin|talk]]) 01:04, 14 October 2021 (UTC) | : Right! So, however, if you want to add it back to the page, there is a slight issue. As you can see, at the moment, HNF is up top, because it's part of every normal form presently on the page. So if you want to add IRREF back, you would have to rework the page a bit to accommodate that. I got us into this mess so I'm happy to help with that. Perhaps we could do it together next week. Let me know. --[[User:Cmloegcmluin|Cmloegcmluin]] ([[User talk:Cmloegcmluin|talk]]) 01:04, 14 October 2021 (UTC) | ||
:: Yes, I would like it back in the article. BTW I thought of another use for IRREFs. Makes it easy to compute meets and joins if you have the IRREF for both temperaments. I don't know if it always makes it easier but it certainly makes it easier some times. --[[User:TallKite|TallKite]] ([[User talk:TallKite|talk]]) 20:59, 16 October 2021 (UTC) | |||